14 Jul
2016
14 Jul
'16
8:48 p.m.
John Cowan <cowan(a)mercury.ccil.org> writes:
Tony Finch scripsit:
It's used now in logic languages like Prolog and proof assistants like
Coq or TLA+.
--
Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org
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.