Kevin Liu Tue, 18 Oct 2016 11:00:06 -0700
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