大きな下向きタック

通常のT字形の下向きタック⊤を大きくした形です。

論理では⊤が真を表し、束論では順序構造の最大元を表します。型理論では、すべての値を受け入れる最上位型を表します。プログラミング言語APLでは、各桁が異なる基数を使う混合基数の数の表記に⊤を使います。音声を記録する国際音声記号では、音の記号の下にタックを置いて、その音の低下を示します。

数学記号を追加する2001年の提案には、通常の⊤に対応する大きな下向きタックがすでに記載されていました。