diff options
Diffstat (limited to 'symbols.txt')
| -rw-r--r-- | symbols.txt | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/symbols.txt b/symbols.txt new file mode 100644 index 0000000..a63e7e4 --- /dev/null +++ b/symbols.txt @@ -0,0 +1,27 @@ +Ω me +∷ prop +∷ property +⩫ unique +≠ neq +≠ notequal +🮻 static +ʭ id +⨍ lookup +⧔ time +∞ inf +∞ infinity +ε smol +ε epsilon +⊼ nand +⑄ speaker +¶ growth +໒ world +✦ beginning +𝛏 axiom + mind +Λ listener +ϒ comprehend +ϑ dawn + energy + matter +≈ almost
\ No newline at end of file |
