[julia-users] Existential quantifier

[Kevin Liu]

What's the right way to do this? 

julia> parse("∃x(sister(x,Spot) & cat(x))")

LoadError: ParseError("invalid character \"∃\"")
while loading In[15], in expression starting on line 7

 in parse at parse.jl:180
 in parse at parse.jl:190

Thanks, Kevin