⊤

T および ˕ も参照。

記号

⊤

1. (論理学) ダウンタック。真理値が真であることを表す記号。⇔ ⊥

関連記号

• 1（ブール値での真）
• T（Trueの頭文字より真を表す場合がある）

コード等

文字コード (文字集合規格)

-	Unicode: U+22A4 　← ⊣　　⊥ → 文字名: DOWN TACK 文字参照: ⊤

• HTML文字実体参照
  • ⊤ ⊤
  • ⊤ ⊤