diff --git a/src/tokenize.jl b/src/tokenize.jl index 9c19c040..0fb0d72b 100644 --- a/src/tokenize.jl +++ b/src/tokenize.jl @@ -171,7 +171,7 @@ function optakessuffix(k) k == K"!" || k == K".'" || k == K"->" || - K"¬" <= k <= K"∜" + K"BEGIN_UNICODE_OPS" <= k <= K"END_UNICODE_OPS" ) end