HOw do i insert FOPL symbols into a word document?

G

Guest

I want to insert FOPL symbols such as Universal quantifier, existential
quantifier, etc into a word document but i can't find them under symbols...
anybody have any solution......
 
S

Suzanne S. Barnhill

Well, I had to Google to ascertain that FOPL (aside from Friends of the
Oakland Public Library) apparently stands for First-Order Predicate Logic.
To find such symbols, you will need a "large" Unicode font such as Arial
Unicode MS. I think you'll find the glyphs you need in the Mathematical
Operators character subset.

--
Suzanne S. Barnhill
Microsoft MVP (Word)
Words into Type
Fairhope, Alabama USA

Email cannot be acknowledged; please post all follow-ups to the newsgroup so
all may benefit.
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Similar Threads

How do I insert the existential quantifier symbol? 4
Formal Language of Predicate Logic 1
Where to find symbols group? - not in insert tab! 2
symbols 8
How to get additional symbols 2
Printing non-printable characters 2
Can I make my own picture into a symbol for use in word/excel? 1
How do I insert the male/female symbols into my word document? 1

Top