ダウンタック記号

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

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

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

記号UnicodeJIS X 0213文字参照名称

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