11 Jul
2016
11 Jul
'16
6:09 p.m.
John Cowan <cowan(a)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.
http://comjnl.oxfordjournals.org/content/6/2/134.full.pdf+html
1960s BCPL manuals have a similar typographic convention to ALGOL 60.
The ALGOL 68 revised report defines all three of ∨| or for the
disjunction operator.
Tony.
--
f.anthony.n.finch <dot(a)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
poor.