sub sort indicator

modifier for existsS

modifier for funS or colonS

total function arrow

partial function arrow

ascii product type sign

alternative latin1 product type sign

the colon sign

the dot sign (ascii)

the alternative latin1 centered dot sign

the vertical bar

arrow started with a bar

two colons and an equal sign

a colon with a question mark

the exists keyword with an exclamation mark

one percent sign

two percent signs (for line comments)

implication arrow (equal and greater)

equivalent sign

the alternative latin1 negation sign for not

logical and using slashes

logical or using slashes

assign sign (colon and equal)

minus sign (for variance)

plus sign (for variance)

total continuous function arrow

partial continuous function arrow

lambda sign (backslash)

at sign (for as pattern)

Here sign

Bind sign

assign sign in monad notation

the new keyword fun (funS is already defined differently)

the diamond sign (less and greater)

the greater sign

Prefix processes

sequential process operator

interleaving parallel operator

synchronous parallel operator

Open generalised parallel

Close generalised parallel

Open alpabetised parallel

Separator in alpabetised parallel

Close alpabetised parallel

External choice

Internal choice

Hiding (process)

Open a renaming (process)

Close a renaming (process)