⊮ หมายถึงอะไร
⊮ ปฏิเสธการบังคับ ส่วน ⊬ ปฏิเสธการพิสูจน์
แบบจำลองคริปเคอเป็นกรอบสำหรับตรวจสูตรในสถานะหรือโลกที่เป็นไปได้ โดยกำหนดเงื่อนไขว่าข้อความจะถูกบังคับเมื่อใด ⊮ หมายถึงเงื่อนไขเหล่านั้นไม่ได้ทำให้ข้อความนี้เป็นจริงในสถานะดังกล่าว
นี่เป็นข้อความเกี่ยวกับความหมายภายในแบบจำลอง แต่เพียงลำพังไม่ได้บอกว่าจะพิสูจน์ข้อความจากข้อสมมติได้หรือไม่
อย่าสับสนกับ
1วิธีพิมพ์ ⊮
Windows (Word)
Alt+Xพิมพ์ 22AE แล้วกด Alt+X เพื่อได้ ⊮
Windows
Win+Rเรียกใช้ charmap เพื่อดูตารางทั้งหมด หรือใช้แท็บ Ω ในตัวเลือกอีโมจิ (Win + .)
macOS
Control+Command+Spaceเปิดตัวแสดงอักขระแล้วค้นหา “does not force”
Linux
Ctrl+Shift+Uพิมพ์ 22ae แล้วกด Enter หรือ Space
HTML
⊮CSS
\22AELaTeX
ในโหมดคณิตศาสตร์ ให้พิมพ์ `\nVdash`; การตั้งค่าสัญลักษณ์ของ LaTeX ต้องกำหนดคำสั่งนี้และมีรูปอักขระดังกล่าว
รหัสและการเข้ารหัสจุดรหัส: 1
HTML ฐานสิบ
⊮
HTML ฐานสิบหก
⊮
เนื้อหา CSS
content: "\22AE";
แต่ละลำดับหลีกจบที่แบ็กสแลชถัดไป ต้องมีช่องว่างก่อนตัวเลขฐานสิบหกที่ต้องการแสดงตามตัวอักษร
เข้ารหัส URL
%E2%8A%AE
1
บนหน้าจอ
1
จุดรหัส
1
JS .length
3
ไบต์ UTF-8
สัญลักษณ์ที่เห็นอาจมีหลายจุดรหัส JS .length นับหน่วย UTF-16 ส่วน UTF-8 นับไบต์