For more on Z, see [ z.html ]
If your browser can not handle tables please try the raw MATHS documentation [ z.lexis.mth ]
| Spoken | TeX | MATHS | ||
| and | /\ | ∧ | and | |
| left | ( | ( | ( | |
| colon | : | : | : | |
| comma | , | , | , | |
| cross | %x | ? | >< | |
| define equal | == | == | ||
| spot | @ | \dot | || | |
| equals | = | = | = | |
| else | else | else | else | |
| exists | %E | \some | some | |
| unique exists | %E1 | ? | one | |
| false | false | ? | false | |
| fixity | fixity | ? | ? | |
| for all | %A | ∀ | all | |
| left chevron | << | ? | ||
| right chevron | >> | ? | >> | |
| hide | %\ | ? | (some ...) | |
| if | if | if | if | |
| if and only if | <=> | \iff | iff | |
| implies | ==> | ? | then | |
| right | ) | ) | ) | |
| left function | leftfun | ? | ? | |
| let | let | ? | ? | |
| member | in | %e | ∈ | in | |
| not | %not | ? | not | |
| or | \/ | ∨ | or | ? |
| argument | _ | _ | _ | |
| coerce predicate | pred | ? | ? | |
| pre | pre | ? | pre | |
| project | %|\ | \rharpoon | . | |
| power set | %P | \P | @ | |
| relation | rel | ? | rel | |
| rename | / | / | => | |
| right function | rightfun | ? | ? | |
| semicolon | ; | ? | ; | |
| sequence | ... | ? | ...(elision) | |
| select | dot | . | . | . | |
| left set | { | \{ | set{ | |
| right set | } | \} | } | |
| left square | [ | [ | ||
| right square | ] | ] | ||
| then | then | ? | then | |
| true | true | \true | true | |
| turnstyle|-\vdash | |- | |||
| type argument | $ | \dollar | ||
| bar | | | \vert | | | |
| up | %^ | ^ | ^ | ^ |
| down | %_ | _ | [ |
Greek letters follow this pattern:
Spoken EMail TeX MATHS
alpha %alpha \alpha \alpha
big alpha %Alpha \Alpha \Alpha
Schema symbols
Syntax EMail MATHS
start_scheme +-- Net{ or .Net
dash --- not used
such_that |-- not used
end_scheme --- } or .Close.Net
start_generic +== All nets are generic.
double_dash ===
start_axiom +.. Tab or Space
end_axiom -..
Selection of Symbols from the Mathematical Toolkit
| Spoken | TeX | MATHS | ||
| not equal | /= | ≠ | <> | |
| not in | %/e | ? | not_in | |
| empty set | (/) | ? | {} | |
| subset | %c_ | ⊆ | ==> | |
| proper subset | %c | ⊂ | =>> | |
| union | %u | ∪ | | | |
| intersection | %n | ∩ | & | |
| set difference | \ | \backslash | ~ | |
| generalized union | %uu | \Bigcup | | | |
| generalized intersection | %nn | \Bighat | & | |
| finite subsets | %F | \bbfF | Finite | |
| relation | <--> | \dblarrow | <>-<> | |
| maplet|--> | ? | +> | ||
| compose | %; | \bbfsemicolon | ; | |
| compose | %o | ο | o | |
| domain restrict | <: | ≤fttriangle | ; | |
| range restrict | :> | \righttriangle | ; | |
| domain subtract | <-: | ? | ? | |
| range subtract | :-> | ? | ? | |
| inverse | ~ | \tilde | / | |
| left relational image bracket | (| | ? | ? | |
| right relational image bracket | |) | ? | ? | |
| override | (+) | ? | ? | ? |
| partial function | -|-> | ? | <>-> | |
| total function | --> | \rarrow | >-> | |
| partial injection | >-|-> | ? | <-> | |
| total injection | >---> | ? | --> | |
| partial surjection | -|->> | ? | <>-- | |
| total surjection | --->> | ? | >-- | |
| bijection | >->> | ? | --- | |
| finite function | -||-> | ? | ? | |
| finite injection | >-||-> | ? | ? | |
| natural numbers | %N | \bbfN | Nat0 | |
| integers | %Z | \bbfZ | Int | |
| less than | < | < | < | |
| less than or equal to | <= | ? | <= | |
| greater than | > | > | > | |
| greater than or equal | >= | ? | >= | |
| up to | .. | .. | .. | |
| plus | + | + | + | |
| minus | - | - | - | |
| times | * | * | * | |
| hash | cardinality | # | νm | card | |
| left seq | %< | ? | ( | |
| right seq | %> | ? | ) | |
| filter | |\ | ? | ? | |
| extract | /| | ? | ? | |
| concatenate | ^ | \frown | ! | |
| left bag | [| | ? | bag( | |
| right bag | |] | ? | ) |