Replace unicode characters with ASCII

At least for passing to coq.  List taken from
http://coq.inria.fr/V8.4/refman/Reference-Manual017.html#sec573
augmented with forall and exists.