ダウンタック記号

ダウンタック記号 (ダウンタックきごう、英　down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:

• 束論における最大元
• 論理学におけるトートロジー（恒真式）
• 型理論におけるトップ型（英語版）

またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある（例: M^⊤, 列ベクトル: (1, 2, 3)^⊤）。