Büyük aşağı tack (büyük top simgesi)

⊤ ile aynı anlamdadır, yalnızca daha büyük çizilmiştir.

Olağan ⊤, «top» diye okunur ve birkaç standart görevi vardır. Mantıkta her zaman doğru olan önermedir (verum). Öğeleri küçükten büyüğe sıralayan sıralama ve kafes kuramında, tüm öğelerin üstündeki en büyük elemanı gösterir. Tip kuramında ve programlama dili tasarımında her değerin ait olduğu en üst tiptir. Ters çevrilmiş eşi ⊥, «bottom», yanlış ya da en küçük eleman demektir.

İngilizce adı «tack» (raptiye) biçiminden gelir: düz başı yukarıda, ucu aşağıya bakan bir iğne. ⟙ ve aynadaki eşi ⟘, bu simgeler ayrı satırdaki formüllerde büyük görünebilsin diye öteki büyük işleçlerin yanında yer alır; anlam boyuttan değil, ⊤ ve ⊥'den gelir.