0 the symbol ; used in writing between two parts of a sentence, usually when each of the two parts could form grammatical sentences on their own. A semicolon can also separate the things in a list. --
1 a mark (;) used in writing for separating large or important independent parts of a sentence or items in a list --
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.