I was trying to create a new method, and apparently the \exists character is invalid – despite the fact that it is suggested by auto-complete. Is this something normal, or is something wrong on my end?
julia> ∃
ERROR: syntax: invalid character "∃"
I was trying to create a new method, and apparently the \exists character is invalid – despite the fact that it is suggested by auto-complete. Is this something normal, or is something wrong on my end?
julia> ∃
ERROR: syntax: invalid character "∃"