T（シンボル）

ティー（LaTeXでは⊤）は、ダウンタック（アップタックとは対照的に）またはverumとも呼ばれ、 [ 1 ]以下を表すため^に使用される記号です。\top

• 論理学における真であることの真理値、または無条件に真である文（例えば、命題論理における式）。 ^{[ 2 ] [ 3 ] [ 4 ]}定義により、すべてのトートロジーは論理的に真と同等である。
• 型理論における最上位の型。
• 格子理論における最上位要素。
• APLプログラミング言語における混合基数エンコーディング。
• 国際音声記号および音声学における低音化音。この用法では、通常、主要なIPA記号の下に表記される。

同様の見た目の上付き文字Tは、行列の転置を表すために使用されることがあります。

Unicodeでは、ティー文字はU+22A4 ⊤ DOWN TACK ( & DownTee;, & top; )としてエンコードされます。^{[ 5 ]}この記号はLaTeXではとしてエンコードされます。\top

大きなバリアントは、Unicode ブロックMiscellaneous Mathematical Symbols-AでU+27D9 ⟙ LARGE DOWN TACKとしてエンコードされます。

• 回転式改札機（⊢）
• 上向きタック（⊥）
• 論理記号一覧
• 数学記号一覧