From mboxrd@z Thu Jan  1 00:00:00 1970
From: chneukirchen@gmail.com (Christian Neukirchen)
Date: Thu, 14 Jul 2016 16:48:04 +0200
Subject: [TUHS] Slashes
In-Reply-To: <20160711123430.GD7815@mercury.ccil.org> (John Cowan's message of
 "Mon, 11 Jul 2016 08:34:30 -0400")
References: <201607100052.u6A0qfaH004899@coolidge.cs.Dartmouth.EDU>
 <20160710015119.GA634@mercury.ccil.org>
 <alpine.DEB.2.11.1607111303430.17030@grey.csi.cam.ac.uk>
 <20160711123430.GD7815@mercury.ccil.org>
Message-ID: <87d1mgi8d7.fsf@gmail.com>

John Cowan <cowan at mercury.ccil.org> writes:

> Tony Finch scripsit:
>
>> I am failing to remember where I have seen /\ and \/ used in the wild.
>
> I don't think anyone ever has used them; they were just a suggestion by
> Bemer which induced him to lobby for \ in ASCII-63.

It's used now in logic languages like Prolog and proof assistants like
Coq or TLA+.

-- 
Christian Neukirchen  <chneukirchen at gmail.com>  http://chneukirchen.org