[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