[TUHS] Slashes
Christian Neukirchen
chneukirchen at gmail.com
Fri Jul 15 00:48:04 AEST 2016
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
More information about the TUHS
mailing list