From 87756d0f7ae5cab7d74027a0a24734a70788b0bc Mon Sep 17 00:00:00 2001 From: Doug Torrance Date: Mon, 2 Dec 2024 15:27:34 -0500 Subject: [PATCH] Add a check for unicode double right arrow operator Should be a synonym for => --- M2/Macaulay2/tests/normal/unicode.m2 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/M2/Macaulay2/tests/normal/unicode.m2 b/M2/Macaulay2/tests/normal/unicode.m2 index 0469edd662..d16b1f467f 100644 --- 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))