fsymbols
기호 불러오는 중…
››
⦉

Z 표기법 왼쪽 바인딩 괄호

Z 표기법 왼쪽 바인딩 괄호

⦉는 Z 표기법에서 바인딩을 여는 괄호입니다. 바인딩은 이름이 붙은 항목과 그 값이나 형식을 묶는 레코드 같은 구조입니다. 형식 명세에서는 닫는 기호 ⦊와 함께 씁니다.

텍스트 기호
다음으로 검색
Z 바인딩 · 바인딩 괄호 · lblot
사용되는 곳
텍스트를 입력하는 모든 곳 · 모양은 글꼴에 따라 달라집니다

⦉의 의미

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
\2989
Z 조판
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은 바이트를 셉니다.

이 기호의 그룹

1

수학과 숫자기호 1,835개