diff options
| -rw-r--r-- | symbols.txt | 6 | ||||
| -rw-r--r-- | tempo.md | 16 |
2 files changed, 19 insertions, 3 deletions
diff --git a/symbols.txt b/symbols.txt index 0e1bfd5..a72ebb1 100644 --- a/symbols.txt +++ b/symbols.txt @@ -45,10 +45,14 @@ i i mind Λ listener ϒ comprehend +ϒ comp ϑ dawn energy ≈ almost 𝓂 matter ⚛ atom H aH -He aHe
\ No newline at end of file +He aHe +ɸ hypothetical +ɸ hypo +u you
\ No newline at end of file @@ -219,7 +219,7 @@ def \growth\ `[x] \growth\ .+x` (\growth\ A) ^^ growth: denotes infinite growth of an input axiom. can be used to find the encapsulating set of an input object. note that at some point it becomes a no-operation, once the growth turns into the encapsulating set and becomes `[x] \growth\ x+x`, which is just `x`. you may also add this as a constraint: `[x] A=. A=x \growth\x = x` -def i `\speaker\\me\` +def \i\ `\speaker\\me\` ^^ i: refers to the speaker. @@ -245,7 +245,7 @@ any mind that is able to receive the information of this current axiom. **frustration**: *how do i define love?* -def \comprehend\ `[x] A=x A=\listener\ B=\axiom\. C=@A @A = B+A @A\neq\C` (D \comprehend\) +def \comprehend\ `[x] A=x A=.\type\\listener\ B=\axiom\. C=@A @A = B+A @A\neq\C` (D \comprehend\) ^^ comprehension: indicates an axiom being transmitted to a listener, resulting in the change of the listener. it resolves to a `T`/`F` value, indicating whether the listener's mind has changed in comparison to an outcome in which the listener did not receive the axiom. this is also the first axiom, up to this point, to come *after* its generic argument. @@ -280,11 +280,23 @@ an atom identified by the composite 2. other atoms can be defined using the same method. +def \hypo\ `[x] (\me\@)>x` (\hypo\ A) +^^ hypothetical: +a case where change might lead to an input axiom. + +def \you\ `A=.\type\\listener\ B=\axiom\. \speaker\>B \hypo\(B>A A\comprehend\) A` +^^ you: +indicates a listener that can hypothetically comprehend an axiom created by the speaker. +the target of the speaker's words. + ## update log // Timestamp: future - more coming soon. +// Timestamp: 2026-01-03 16:29:56 UTC+3:30 +- added symbols \hypo\ and \you\. + // Timestamp: 2026-01-01 10:36:31 UTC+3:30 - happy new year! - added a smooth css transition for theme changing. |