⨟의 의미
두 Z 스키마, 즉 이름이 붙은 시스템 설명을 결합합니다. 스키마는 시스템의 상태나 동작을 설명하는 변수와 조건을 이름 있는 블록으로 묶은 것입니다. 첫 번째 동작이 끝난 뒤의 상태를 나타내는 변수는 두 번째 동작이 시작할 때 기대하는 변수와 대응합니다. Z는 이 공유된 중간 상태를 결과에서 숨깁니다.
Z는 수학으로 컴퓨터 시스템을 설명하기 위해 1970년대 후반에 고안되었고 1980년대에 발전했습니다. 널리 출판된 첫 참고 매뉴얼은 1989년에 나왔습니다. Z는 집합을 다루는 수학인 집합론과 참 또는 거짓인 조건을 표현하는 술어 논리를 바탕으로 합니다.
⨟는 Z 표기법에서만 사용하세요
⨟는 스키마를 결합하는 규칙인 Z의 스키마 계산에 속하는 연산자입니다. 일반적인 함수나 관계의 합성을 뜻하지는 않습니다.
다음과 혼동하지 마세요
1⨟ 입력 방법
Windows (Word)
Alt+X2A1F 입력 후 Alt+X를 누르면 ⨟가 됩니다.
Windows
Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win + .)을 사용하세요.
macOS
Control+Command+Space문자 뷰어를 열고 “z notation schema composition”을 검색하세요.
Linux
Ctrl+Shift+U2a1f 입력 후 Enter 또는 Space를 누르세요.
HTML
⨟CSS
\2A1F코드와 인코딩코드 포인트: 1개
HTML 십진수
⨟
HTML 십육진수
⨟
CSS 내용
content: "\2A1F";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A8%9F
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.