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.
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 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
poor.