diff options
| author | 2026-02-23 16:11:05 +0330 | |
|---|---|---|
| committer | 2026-02-23 16:11:05 +0330 | |
| commit | aa56d4b9d55c47b8fd8d0c7411592a1006d15069 (patch) | |
| tree | 3c9708cee13311e891931e77fc2c7aa60605677c /symbols.txt | |
| parent | tiny fix (diff) | |
changes
Diffstat (limited to 'symbols.txt')
| -rw-r--r-- | symbols.txt | 13 |
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 |
