Re: [julia-users] Re: ERROR: syntax: invalid character "∀"

[Steven G. Johnson]

For reference, the identifier whitelist can be found here:

https://github.com/JuliaLang/julia/blob/63ecbcba7788107b0a5eec3df6c68a7d3e49872f/src/flisp/julia_extensions.c#L51-L134