ダウンタック記号

ダウンタック記号 (ダウンタックきごう、) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー () やラテン語で「真」を意味するヴェルム () とも呼ばれる。以下のような意味を持つ:
 束論における最大元
 論理学におけるトートロジー（恒真式）
 型理論における

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

符号位置 
 では \top を用いる。

関連項目 
  ⊢
 アップタック記号 ⊥
 論理記号の一覧
 数学記号の表

論理記号
数学に関する記事