Add a check for unicode double right arrow operator

Should be a synonym for =>
Macaulay2 · Dec 3, 2024 · 87756d0 · 87756d0
1 parent acc6ca1
commit 87756d0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/M2/Macaulay2/tests/normal/unicode.m2 b/M2/Macaulay2/tests/normal/unicode.m2
@@ -7,3 +7,5 @@ assert(v·w == 11)
 
 -- should get "invalid symbol" error
 assert try getSymbol "⟎⟎" then false else true
+
+assert((a⇒b) === (a => b))