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