ダウンタック記号 - Wikipedia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ダウンタック記号" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2018年2月) ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ: 束論における最大元 論理学におけるトートロジー（恒真式） 型理論におけるトップ型（英語版） またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある（例: M⊤, 列ベクトル: (1, 2, 3)⊤