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/