[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