| 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 | |
fishhook.gif | |
therefore.gif |
|
perp.gif |
Note: Authors who need other logical symbols for their entry should send email to the Editors.