diff options
Diffstat (limited to 'symbols.txt')
| -rw-r--r-- | symbols.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/symbols.txt b/symbols.txt index 96b6f88..d56b973 100644 --- a/symbols.txt +++ b/symbols.txt @@ -9,6 +9,7 @@ = equal ∷ prop ∷ property +∷ inside ⋿ type ≠ neq ≠ notequal @@ -22,7 +23,6 @@ 3 three < before | separate -^ inside ! ??? @ change # persistence |