The classic ∧ ∨ symbols from mathematical logic have been used in a few language... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		fanf2 on Sept 28, 2023 \| parent \| context \| favorite \| on: How were the signs for logical and arithmetic oper... 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.

hwayne on Sept 29, 2023 | [–]

Fun fact: ASCII added the \ so ALGOL could write /\ and \/!

mjb on Sept 29, 2023 | [–]

TLA+ also uses that convention (along with the temporal logic operators [] and <>, and some other unusual conventions like #=).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact