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 | |] | ? | ) |