Stanford Encyclopedia of Philosophy

Table of Logical Symbols

Symbol Name Symbol Name Symbol Name
exists.gif forall.gif ra.gif
lra.gif neg.gif not-equal.gif
righthook.gif vel.gif models.gif
proves.gif uc-rightarrow.gif Diamond.gif
Box.gif equiv.gif sim.gif
prime.gif doubleprime.gif therefore.gif
perp.gif fishhook.gif wedge.gif
Leftrightarrow.gif top.gif langl.gif
rangl.gif vertical-bar.gif    

Note: Authors who need other logical symbols for their entry should send email to the Editors.