SYMBOL INPUT CODES
| Symbol | Input Code |
|---|---|
| ∧ | a |
| ⊨ | ded |
| ≜ | def |
| ∃ | e |
| ∀ | a |
| ≥ | geq |
| ^ | hat |
| ⋂ | i |
| ≡ | ident |
| ↔ | iff |
| ∈ | in |
| λ | lamba |
| ≤ | leq |
| ¬ | n |
| ≠ | neq |
| ⊈ | nnssub |
| ⊉ | nnssup |
| ⊆ | nssub |
| ⊇ | nssup |
| ⊄ | nsub |
| ⊅ | nsip |
| ∅ | null |
| ∨ | o |
| ∘ | ringop |
| ι | s |
| ∖ | ssub |
| ⊂ | sub |
| ⊃ | sup |
| → | t |
| ⋃ | u |
| Symbol | Input Code |
|---|---|
| ∧ | a |
| ⊨ | ded |
| ≜ | def |
| ∃ | e |
| ∀ | a |
| ≥ | geq |
| ^ | hat |
| ⋂ | i |
| ≡ | ident |
| ↔ | iff |
| ∈ | in |
| λ | lamba |
| ≤ | leq |
| ¬ | n |
| ≠ | neq |
| ⊈ | nnssub |
| ⊉ | nnssup |
| ⊆ | nssub |
| ⊇ | nssup |
| ⊄ | nsub |
| ⊅ | nsip |
| ∅ | null |
| ∨ | o |
| ∘ | ringop |
| ι | s |
| ∖ | ssub |
| ⊂ | sub |
| ⊃ | sup |
| → | t |
| ⋃ | u |
E-mail: hermes_t@users.sourceforge.net
Sourceforge project summary page: https://sourceforge.net/projects/hermetica/
