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

Hi Fly-

Got to InsertSymbol, 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 |:)

"superslyfly" wrote:

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