julia> parse("∀x(cat(x) → mammal(x))")

LoadError: ParseError("invalid character "∀"")
while loading In[16], in expression starting on line 2

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

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