ダウンタック記号

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

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

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

記号UnicodeJIS X 0213文字参照名称

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

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