I would like to create documents using Existential Quantifier symbols from
the language of Predicate logic. I am unable to find them anywhere in word,
and when I try to paste them into word from a pdf file I just get a number
instead of the symbol I need. Could you help me, the sybols basically look
like an upside down "A" and a backwards "E". Here is a website showing the
symbols I am talking about.

http://matcmadison.edu/alehnen/weblo....htm#Universal