From b2b243b4194793ed8925354a52500ade462cae50 Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Mon, 23 Feb 2026 12:20:09 +0330 Subject: mb --- symbols.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'symbols.txt') 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 -- cgit v1.2.3