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
rangl11.gif rangl10.gif la.gif
leftarrow11pt.gif not-models.gif small-perp.gif
uc-leftarrow.gif calM.gif calS.gif
sim-models.gif vertical-bar11.gif vertical-bar10.gif
langl11.gif langl10.gif  

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