Kalpana Kalpana (Editor)

Tee (symbol)

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

The tee (⊤), also called down tack (as opposed to the up tack) or verum is a symbol used to represent:

  • The top element in lattice theory.
  • A logical constant denoting a tautology in logic.
  • The top type in type theory.

    • A similar-looking superscript T may be used to mean the transpose of a matrix.

    Encoding

    In Unicode, the tee character is encoded as U+22A4 ⊤ DOWN TACK (HTML ⊤). The symbol is encoded in LaTeX as \top.

    References

    Tee (symbol) Wikipedia
    (Text) CC BY-SA


    Similar Topics