0 the punctuation mark (;) used especially to separate parts of a sentence which have more independence than clauses separated by a comma. -- semikolon
The other traditional definition, that of the semicolon (;) as an infix function, unnecessarily involves the conservative approximation of application.
In the typing judgement above, the holes and variables are separated in the antecedent with a semicolon but this is just for clarity.
Every judgement ends with a semicolon (;), which we usually omit in typeset text, where we have access to layout.
Entries in parentheses refer to respective seasons; first entry before semicolon = wet season, second entry after semicolon = dry season.
Each definition is composed of an identifier representing the name of the field to be defined, the symbol :=, the actual definition and a semicolon.
Programs are sequences of commands separated by semicolons.
The simple zigzags are put in the beginning, in increasing order of length, without their signature (0, 0), and separated by a semicolon from others.
From now on, commas and semicolons, respectively, denote the parallel and serial compositions of orders.