[Solved] Does "⊥" have a keyword in Math?

[brownbat]

I'm using the contradiction symbol, ⊥, frequently in a formula. Is there a keyword for this? Copying and pasting the special character basically works, but I was just curious if this was independently supported. Searching for "contradiction" and "uptack" (as I've heard it called once before) on these forums and google didn't yield good results, so maybe it's just not a commonly used enough symbol?

On the other hand, maybe I'm just forgetting a more common name for the sign...

If anyone has more info, it'd be appreciated. Thanks for your time either way.

[RGB]

Code: Select all

a ortho b

"ortho" for orthogonal
NOTE: it is a binary operator, it needs something before and after it. If you need an empty space, two curly brackets will be enough:

Code: Select all

{} ortho b

[Robert Tucker]

You can always add it as a symbol at Tools>Catalog...

[garygold]

I'm using the contradiction symbol, ⊥, is there an easier way?