Personal tools


From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Added to (hopefully!) the right category.)
m (It seems LaTeX uses \bot; \perp gives a very slightly different glyph.)

Revision as of 13:53, 17 February 2007

The term 'bottom' refers to a computation which never completes successfully. That includes a computation that fails due to some kind of error, and a computation that just goes into an infinite loop (without returning any data).

The mathematical symbol for bottom is '⊥'. That's Unicode character 22A5 hex = 8869 decimal. Also available in HTML as '⊥' and in LaTeX as '\bot' (within math mode). In plain ASCII, it's often written as the extremely ugly character sequence '_|_'.