aboutsummaryrefslogtreecommitdiff
path: root/symbols.txt
diff options
context:
space:
mode:
authorGravatar Moon Flower <mforoud86@gmail.com> 2026-02-23 16:11:05 +0330
committerGravatar Moon Flower <mforoud86@gmail.com> 2026-02-23 16:11:05 +0330
commitaa56d4b9d55c47b8fd8d0c7411592a1006d15069 (patch)
tree3c9708cee13311e891931e77fc2c7aa60605677c /symbols.txt
parenttiny fix (diff)
changes
Diffstat (limited to 'symbols.txt')
-rw-r--r--symbols.txt13
1 files changed, 7 insertions, 6 deletions
diff --git a/symbols.txt b/symbols.txt
index d56b973..33ea3a2 100644
--- a/symbols.txt
+++ b/symbols.txt
@@ -8,8 +8,8 @@
= eq
= equal
∷ prop
-∷ property
∷ inside
+∷ property
⋿ type
≠ neq
≠ notequal
@@ -45,8 +45,8 @@ i i
𝛏 axiom
𜸴 mind
Λ listener
-ϒ comprehend
ϒ comp
+ϒ comprehend
ϑ dawn
𜱺 energy
≈ almost
@@ -54,16 +54,17 @@ i i
⚛ atom
H aH
He aHe
-ɸ hypothetical
ɸ hypo
+ɸ hypothetical
u you
‖ between
-⊃ context
⊃ ctx
+⊃ context
§ nuos
? question
? q
-; answer
; ans
+; answer
ɀ all
-ᓱ some \ No newline at end of file
+ᓱ some
+╳ none \ No newline at end of file