rust-lang/rust — pull request #15216 by steveklabnik (2014-06-27 15:59:05+00:00)
Title: Fix ⊥.

This wasn't being displayed correctly, so use the proper HTML entity.