⦉의 의미
Z 표기법에서 바인딩을 여는 기호입니다.
바인딩은 항목 이름과 값을 연결하고, 스키마 타입은 그 항목의 타입을 선언합니다. ⦉x:X⦊에서 x는 타입이 X인 이름 붙은 항목이며, 값이 대입된 것은 아닙니다.
Z의 형식 의미론을 다룬 보고서는 1984년에 나왔습니다. 기술 규칙서인 Z Base Standard는 1992년에 인쇄되었으며, 바인딩 확장을 이름과 식의 대응으로 정의합니다. 이 연도들은 바인딩 개념의 역사를 나타내며, 이 괄호 모양의 기원을 나타내지는 않습니다.
Z 형식 명세에 쓰이는 전문 표기입니다.
여는 ⦉에는 닫는 ⦊가 필요합니다.
다음과 혼동하지 마세요
1조합 아이디어
1스키마 타입 선언으로, 항목 x의 타입이 X임을 나타냅니다.
⦉ 입력 방법
Windows (Word)
Alt+X2989 입력 후 Alt+X를 누르면 ⦉가 됩니다.
Windows
Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win + .)을 사용하세요.
macOS
Control+Command+Space문자 뷰어를 열고 “z notation left binding bracket”을 검색하세요.
Linux
Ctrl+Shift+U2989 입력 후 Enter 또는 Space를 누르세요.
HTML
⦉CSS
\2989Z 조판
Z 조판 환경에서는 여는 괄호에 `\lblot` 명령을 정의해 두기도 합니다.
Java 소스 코드
Java 소스 코드에서 `\u2989`라고 쓰면 이 문자를 나타냅니다.
코드와 인코딩코드 포인트: 1개
HTML 십진수
⦉
HTML 십육진수
⦉
CSS 내용
content: "\2989";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A6%89
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.
