![[Lattice L46-7]Home Page](l46-7icon.gif){kind=small}
Home| Home |
Quantum Logic Explorer | GIF version |
| Symbol | ASCII |
| ( | ( |
| ) | ) |
| = | = |
| ≡ | == |
| ∪ | v |
| ∩ | ^ |
| 1 | 1 |
| 0 | 0 |
| ⊥ | _|_ |
| wff | wff |
| term | term |
| C | C |
| ≤ | =< |
| ≤2 | =<2 |
| →0 | ->0 |
| →1 | ->1 |
| →2 | ->2 |
| →3 | ->3 |
| →4 | ->4 |
| →5 | ->5 |
| ≡0 | ==0 |
| ≡1 | ==1 |
| ≡2 | ==2 |
| ≡3 | ==3 |
| ≡4 | ==4 |
| ≡OA | ==OA |
| , | , |
| ↔3 | <->3 |
| ∪3 | u3 |
| ∩3 | ^3 |
| a | a |
| b | b |
| c | c |
| d | d |
| e | e |
| f | f |
| g | g |
| h | h |
| j | j |
| k | k |
| l | l |
| i | i |
| m | m |
| n | n |
| p | p |
| q | q |
| r | r |
| t | t |
| u | u |
| w | w |
| x | x |
| y | y |
| z | z |