⨾의 의미
⨾는 공통된 중간값을 거쳐 두 관계를 합성합니다. Z 표기법에서 관계 합성은 첫 번째 관계의 결과가 두 번째 관계의 입력이 된다는 뜻입니다. Check ⨾ Reserve처럼 연산을 이을 수도 있습니다. 첫 연산은 다음 연산이 사용할 수 있는 상태를 남겨야 합니다.
관계 합성에 세미콜론을 쓰는 관례는 Z보다 오래되었으며, 자료에서는 에른스트 슈뢰더의 1895년 교재까지 거슬러 올라갑니다. Z는 정확한 소프트웨어 명세를 위해 이 합성을 채택했고, 국제 표준은 2002년에 발행되었습니다.
Z 명세에 쓰이는 전문 수학 표기입니다. 합성의 의미는 피연산자의 종류와 순서에 따라 정해집니다.
다음과 혼동하지 마세요
1⨾ 입력 방법
Windows (Word)
Alt+X2A3E 입력 후 Alt+X를 누르면 ⨾가 됩니다.
Windows
Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win + .)을 사용하세요.
macOS
Control+Command+Space문자 뷰어를 열고 “z notation relational composition”을 검색하세요.
Linux
Ctrl+Shift+U2a3e 입력 후 Enter 또는 Space를 누르세요.
HTML
⨾CSS
\2A3E코드와 인코딩코드 포인트: 1개
HTML 십진수
⨾
HTML 십육진수
⨾
CSS 내용
content: "\2A3E";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A8%BE
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.