4 ms·
In Haskell's unicode package `undefined` is the bottom symbol (⊥, UP TACK). Which is probably closer to None than the Empty set. (However because UP TACK is a
by hornetblack 10y ago
In Haskell's unicode package `undefined` is the bottom symbol (⊥, UP TACK). Which is probably closer to None than the Empty set.
(However because UP TACK is a mathematical symbol, so Haskell parses it as an Operator and so it must be wrapped in brackets: `(⊥)`)
- nerdponx 10y agoYuck, is that a formal logic symbol? It just looks like "orthogonal" to me.
- OscarCunningham 10y agoIt's used as the symbol for "false" presumably because "T" stands for "true".
- deleted 10y ago[deleted]
- contravariant 10y agoIn a proper font its size is the same as a capital letter, and matches the symbol '⊤' for true.