⊦ หมายถึงอะไร
ใช้ระบุว่ามีการยืนยันข้อความนั้น สูตรที่ตามมาถูกเสนอว่าเป็นจริง แต่เครื่องหมายนี้เพียงอย่างเดียวไม่ได้พิสูจน์สูตรนั้น
เครื่องหมายยืนยันของเฟรเกอปรากฏครั้งแรกใน Begriffsschrift เมื่อปี 1879 ซึ่งเป็นงานเสนอระบบสัญกรณ์ตรรกศาสตร์ เส้นแนวนอนนำเสนอเนื้อหา ส่วนเส้นตั้งแสดงการตัดสินเนื้อหานั้น
สัญกรณ์ตรรกศาสตร์ในยุคหลังใช้เครื่องหมาย turnstile ที่เกี่ยวข้องกันเพื่อแยกการพิสูจน์ออกจากผลตามทางความหมาย
สัญกรณ์เฉพาะทางสำหรับตรรกศาสตร์เชิงรูปแบบ
ตรวจสอบนิยามของระบบก่อนแทนที่ด้วย ⊢ หรือ ⊨
อย่าสับสนกับ
2วิธีพิมพ์ ⊦
Windows (Word)
Alt+Xพิมพ์ 22A6 แล้วกด Alt+X เพื่อได้ ⊦
Windows
Win+Rเรียกใช้ charmap เพื่อดูตารางทั้งหมด หรือใช้แท็บ Ω ในตัวเลือกอีโมจิ (Win + .)
macOS
Control+Command+Spaceเปิดตัวแสดงอักขระแล้วค้นหา “assertion”
Linux
Ctrl+Shift+Uพิมพ์ 22a6 แล้วกด Enter หรือ Space
HTML
⊦CSS
\22A6ป้อน Unicode
ป้อน U+22A6 ด้วยวิธีป้อน Unicode แบบเลขฐานสิบหกของระบบปฏิบัติการ หากเปิดใช้ไว้
LaTeX (STIX Two)
โหลด `stix2` แล้วใช้ `\assert` ในโหมดคณิตศาสตร์
รหัสและการเข้ารหัสจุดรหัส: 1
HTML ฐานสิบ
⊦
HTML ฐานสิบหก
⊦
เนื้อหา CSS
content: "\22A6";
แต่ละลำดับหลีกจบที่แบ็กสแลชถัดไป ต้องมีช่องว่างก่อนตัวเลขฐานสิบหกที่ต้องการแสดงตามตัวอักษร
เข้ารหัส URL
%E2%8A%A6
1
บนหน้าจอ
1
จุดรหัส
1
JS .length
3
ไบต์ UTF-8
สัญลักษณ์ที่เห็นอาจมีหลายจุดรหัส JS .length นับหน่วย UTF-16 ส่วน UTF-8 นับไบต์