fsymbols
กำลังโหลดสัญลักษณ์…
››
⨡

การฉายสคีมาในสัญกรณ์ Z

การฉายสคีมาในสัญกรณ์ Z

⨡ คือโอเปอเรเตอร์ฉายสคีมาในสัญกรณ์ Z โดยรวมเงื่อนไขของสคีมาสองชุดและคงไว้เฉพาะชื่อที่ประกาศในสคีมาชุดที่สอง จึงรักษาข้อจำกัดของข้อกำหนดแบบทางการไว้ได้แม้แสดงตัวแปรน้อยลง

สัญลักษณ์ข้อความ
ค้นหาด้วย
zproject · การฉาย Z · การฉายสคีมา · การฉายในสัญกรณ์ Z · คำสั่ง LaTeX project
ปรากฏใน
ช่องข้อความทุกชนิด · รูปร่างขึ้นอยู่กับแบบอักษรที่ใช้

⨡ หมายถึงอะไร

โอเปอเรเตอร์นี้คงเงื่อนไขของสคีมาทั้งสองชุดไว้ แต่แสดงเฉพาะชื่อของชุดที่สอง สคีมา Z คือกลุ่มตัวแปรที่มีชื่อและเงื่อนไข ชื่อที่ประกาศไว้เรียกว่าซิกเนเจอร์ของสคีมา

ใน S ⨡ T ค่าต่าง ๆ ต้องเป็นไปตามเงื่อนไขของทั้งสองสคีมา แต่จะแสดงเฉพาะชื่อของ T การซ่อนสคีมา (S \ (x)) ระบุตัวแปรที่ต้องการซ่อน รายงานจากออกซฟอร์ดในปี 1984 อธิบายว่า Z เป็นภาษาสำหรับระบุข้อกำหนดของระบบคอมพิวเตอร์ มาตรฐาน ISO นิยามการฉายว่าเป็นโอเปอเรเตอร์ของสคีมา ฟอนต์อาจแสดง ⨡ ต่างกันหรือไม่มีอักขระนี้

วิธีพิมพ์ ⨡

Windows (Word)
Alt+Xพิมพ์ 2A21 แล้วกด Alt+X เพื่อได้ ⨡
Windows
Win+Rเรียกใช้ charmap เพื่อดูตารางทั้งหมด หรือใช้แท็บ Ω ในตัวเลือกอีโมจิ (Win + .)
macOS
Control+Command+Spaceเปิดตัวแสดงอักขระแล้วค้นหา “z notation schema projection”
Linux
Ctrl+Shift+Uพิมพ์ 2a21 แล้วกด Enter หรือ Space
HTML
⨡
CSS
\2A21
LaTeX สำหรับ Z
รูปแบบ LaTeX ของ Community Z Tools ใช้ `\project` แทน ⨡
รหัสและการเข้ารหัสจุดรหัส: 1
HTML ฐานสิบ
⨡
HTML ฐานสิบหก
⨡
เนื้อหา CSS
content: "\2A21";
แต่ละลำดับหลีกจบที่แบ็กสแลชถัดไป ต้องมีช่องว่างก่อนตัวเลขฐานสิบหกที่ต้องการแสดงตามตัวอักษร
เข้ารหัส URL
%E2%A8%A1
1
บนหน้าจอ
1
จุดรหัส
1
JS .length
3
ไบต์ UTF-8

สัญลักษณ์ที่เห็นอาจมีหลายจุดรหัส JS .length นับหน่วย UTF-16 ส่วน UTF-8 นับไบต์

กลุ่มของสัญลักษณ์นี้

1

คณิตศาสตร์และตัวเลข1,835 สัญลักษณ์