Everyone,
Recently I came up with the idea of turning variables like "allfoo"
into "∀foo" (I find the latter token significantly easier to parse
visually) by using the lovely Unicode completion and by slightly
abusing mathematical notation. However, this is not possible and I am
not sure why.
julia> ∀foo = [17, 4711]
ERROR: syntax: invalid character "∀"
The only issues that I am aware of are #5712 [1] and #7582 [2], but
both appear to be unrelated. I also did a quick search through the
code base to see if the character is explicitly claimed, but `grep ∀`
terminated empty-handed, apart from the `\forall` completion, some
test strings and documentation.
Surely I am missing something, but what?
Pontus
[1]: https://github.com/JuliaLang/julia/issues/5712
[2]: https://github.com/JuliaLang/julia/issues/7582
