3 ms·

The classic ∧ ∨ symbols from mathematical logic have been used in a few languages, often spelled /\ \/ After CPL they turn up in Miranda (as the weirdly asymme

by fanf2 3y ago

The classic ∧ ∨ symbols from mathematical logic have been used in a few languages, often spelled /\ \/ After CPL they turn up in Miranda (as the weirdly asymmetrical & \/) and in Occam I thought there were more, but I can’t find them right now.

mjb 3y ago
TLA+ also uses that convention (along with the temporal logic operators [] and <>, and some other unusual conventions like #=).
hwayne 3y ago
Fun fact: ASCII added the \ so ALGOL could write /\ and \/!