From mboxrd@z Thu Jan 1 00:00:00 1970 From: dot@dotat.at (Tony Finch) Date: Mon, 11 Jul 2016 13:09:44 +0100 Subject: [TUHS] Slashes In-Reply-To: <20160710015119.GA634@mercury.ccil.org> References: <201607100052.u6A0qfaH004899@coolidge.cs.Dartmouth.EDU> <20160710015119.GA634@mercury.ccil.org> Message-ID: John Cowan 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 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.