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

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.



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


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

Search: