رمز القمة الكبير (المسمار الكبير المتجه للأسفل)

معناه معنى ⊤ نفسه، لكنه مرسوم بحجم أكبر.

للرمز ⊤ العادي، ويُقرأ «top»، وظائف معروفة. في المنطق هو القضية الصادقة دائمًا (verum). وفي نظرية الترتيب والشبكات، التي تدرس عناصر مرتبة من الأصغر إلى الأكبر، يدل على العنصر الأعظم الذي يعلو كل العناصر. وفي نظرية الأنماط وتصميم لغات البرمجة هو النمط الأعلى الذي تنتمي إليه كل قيمة. أما نظيره المقلوب ⊥، «bottom»، فيعني الخطأ أو العنصر الأصغر.

الاسم الإنجليزي tack (دبوس) مأخوذ من الشكل: دبوس رأسه المسطح في الأعلى وطرفه إلى الأسفل. يقع ⟙ ومرآته ⟘ مع عوامل كبيرة أخرى كي تظهر هذه الرموز بحجم كبير في الصيغ المعروضة؛ والمعنى آتٍ من ⊤ و⊥ لا من الحجم.