Changed LaTex $\bot$s to ⊥

In the HTML version of the documentation, it isn't rendered so might as well use the unicode representation.