dot at dotat.at
Mon Jul 11 22:09:44 AEST 2016
John Cowan <cowan at mercury.ccil.org> wrote:
> The Algol 60 committee is a special case, with its distinction between
> publication language, reference language, and implementation language.
> The reference language used ∨ (hence the proposed \/ convention); the
> existing implementations use either "or" as a reserved word or else |.
I am failing to remember where I have seen /\ and \/ used in the wild.
CPL's typeset descriptions have big mathematical conjunction and
disjunction operators. But I don't think I heard of composing them
out of slashes from the CPL literature.
1960s BCPL manuals have a similar typographic convention to ALGOL 60.
The ALGOL 68 revised report defines all three of ∨| or for the
f.anthony.n.finch <dot at dotat.at> http://dotat.at/ - I xn--zr8h punycode
Fair Isle: Cyclonic, becoming westerly, except in far north, 5 or 6. Moderate
or rough. Rain or showers, fog patches. Moderate or good, occasionally very
More information about the TUHS