Symbols Used
A major goal of this site is to be a accessible as possible not only to the handicap but also to those with limited browser capabilities. There we are using symbols here that are part of the default font and should work with almost any browser. Most of these symbols are multiple character symbols.
If you regularly use the pages in this section, you will probably want to print this page for reference.
| Symbol | Meaning |
| ^ | And p and q |
| v | Or p or q |
| |v| | Exclusive or Either p or q but not both |
| ~ | Not not p not q |
| -> | Conditional Therefore If p then q |
| <-> | Bi-conditional p if and only if q |
| => | Implication p implies q A conditional that is a tautology |
| <=> | Logical Equivalence p is logically equivalent to q A bi-conditional that is a tautology |
| » | Therefore |
