Formal Language of Predicate Logic

[Guest]

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/weblogic/logpred.htm#Universal

 

[Guest]

Hi Fly-

Got to Insert>Symbol, choose Symbol font from the font list & you'll find
what you're looking for in the first row of the grid. For any of the numbers
already in a doc, you might try selecting the number & just changing the font
to Symbol on the Formatting Toolbar.

HTH |:>)