diff options
| author | 2026-02-23 09:38:47 +0330 | |
|---|---|---|
| committer | 2026-02-23 09:38:47 +0330 | |
| commit | c2db7bac1425ef1964e7a0682047787343bfda27 (patch) | |
| tree | 3fe9ba2d7ddb8904aa3fe4e1fb87de50aa422feb /symbols.txt | |
| parent | frontend changes (diff) | |
some&all + symbol shortcuts
Diffstat (limited to 'symbols.txt')
| -rw-r--r-- | symbols.txt | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/symbols.txt b/symbols.txt index a72ebb1..96b6f88 100644 --- a/symbols.txt +++ b/symbols.txt @@ -22,6 +22,7 @@ 3 three < before | separate +^ inside ! ??? @ change # persistence @@ -55,4 +56,14 @@ H aH He aHe ɸ hypothetical ɸ hypo -u you
\ No newline at end of file +u you +‖ between +⊃ context +⊃ ctx +§ nuos +? question +? q +; answer +; ans +ɀ all +ᓱ some
\ No newline at end of file |
