แท็กชี้ลงขนาดใหญ่

เป็นรูปขนาดใหญ่ของแท็กชี้ลงธรรมดา ⊤ ซึ่งมีรูปคล้ายตัว T

ในตรรกศาสตร์ ⊤ อาจแทนความจริง ในทฤษฎีแลตทิซซึ่งศึกษาระบบที่มีลำดับ สัญลักษณ์นี้แทนสมาชิกที่มีค่าสูงสุด ส่วนในทฤษฎีชนิด มันคือชนิดบนสุดที่รับค่าได้ทุกค่า ภาษาโปรแกรม APL ใช้ ⊤ กับจำนวนฐานผสม ซึ่งแต่ละหลักอาจใช้ฐานต่างกัน ส่วนสัทอักษรสากล ซึ่งเป็นระบบเขียนเสียงพูด วางแท็กไว้ใต้สัญลักษณ์เสียงเพื่อแสดงว่าเสียงนั้นต่ำลง

ข้อเสนอเพิ่มสัญลักษณ์คณิตศาสตร์ในปี 2001 ระบุแท็กชี้ลงขนาดใหญ่ที่เชื่อมโยงกับ ⊤ แบบธรรมดาไว้แล้ว