Fix ⊥.

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