⊤ หมายถึงอะไร
ขึ้นอยู่กับระบบสัญกรณ์ โดยอาจหมายถึงความจริง ประพจน์ที่เป็นจริงเสมอ หรือสมาชิกที่มากที่สุด ในตรรกศาสตร์อาจใช้แทน verum ซึ่งเป็นภาษาละตินหมายถึงความจริง หรือแทนประพจน์ที่เป็นจริงในทุกกรณี ทฤษฎีแลตทิซศึกษาระบบที่มีลำดับ โดย ⊤ แทนสมาชิกที่มากที่สุด ทฤษฎีชนิดข้อมูลก็อาจใช้แทนประพจน์ที่เป็นจริงเสมอ
บันทึกเกี่ยวกับ APL ในปี 2000 ระบุธรรมเนียมการตั้งชื่อสัญลักษณ์รูป tack ที่แข่งขันกันสองแบบ คือ Bosworth และ London APL เป็นภาษาโปรแกรมที่มีสัญกรณ์คณิตศาสตร์ของตนเอง
สัญกรณ์ทางการในตรรกศาสตร์ ทฤษฎีแลตทิซ และทฤษฎีชนิดข้อมูล
อย่าสับสนกับ
2วิธีพิมพ์ ⊤
Windows (Word)
Alt+Xพิมพ์ 22A4 แล้วกด Alt+X เพื่อได้ ⊤
Windows
Win+Rเรียกใช้ charmap เพื่อดูตารางทั้งหมด หรือใช้แท็บ Ω ในตัวเลือกอีโมจิ (Win + .)
macOS
Control+Command+Spaceเปิดตัวแสดงอักขระแล้วค้นหา “down tack”
Linux
Ctrl+Shift+Uพิมพ์ 22a4 แล้วกด Enter หรือ Space
HTML
⊤CSS
\22A4LaTeX
พิมพ์ `\top` ในโหมดคณิตศาสตร์ของ LaTeX
รหัสและการเข้ารหัสจุดรหัส: 1
HTML ฐานสิบ
⊤
HTML ฐานสิบหก
⊤
เนื้อหา CSS
content: "\22A4";
แต่ละลำดับหลีกจบที่แบ็กสแลชถัดไป ต้องมีช่องว่างก่อนตัวเลขฐานสิบหกที่ต้องการแสดงตามตัวอักษร
เข้ารหัส URL
%E2%8A%A4
1
บนหน้าจอ
1
จุดรหัส
1
JS .length
3
ไบต์ UTF-8
สัญลักษณ์ที่เห็นอาจมีหลายจุดรหัส JS .length นับหน่วย UTF-16 ส่วน UTF-8 นับไบต์