shmanio

I had a similar experience looking up the code for ⊥, I didn't realize the world has given a very specific meaning to the words "latex bottom"