rust-lang/rust — pull request #17088 by gutworth (2014-09-07 21:47:31+00:00)
Title: replace LaTeX \bot with actual ⊥ symbol

Right now, the LaTeXism ``$bot$`` [shows up literally](http://doc.rust-lang.org/rust.html#diverging-functions) in the manual. This PR replaces the LaTeX with the unicode bottom symbol.