Yuck, is that a formal logic symbol? It just looks like "orthogonal" to me. | Hacker News

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

		nerdponx on March 3, 2017 \| parent \| context \| favorite \| on: Mathematical Notation in Emacs Yuck, is that a formal logic symbol? It just looks like "orthogonal" to me.

OscarCunningham on March 3, 2017 | [–]

It's used as the symbol for "false" presumably because "T" stands for "true".

contravariant on March 3, 2017 | | [–]

In a proper font its size is the same as a capital letter, and matches the symbol '⊤' for true.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact