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

Z 표기법 왼쪽 관계 이미지 괄호

Z 표기법 왼쪽 관계 이미지 괄호

8/128

⦇는 Z 표기법에서 관계 이미지를 나타내는 표기를 엽니다. R⦇S⦈ 전체는 관계 R이 집합 S의 원소 중 적어도 하나와 연결하는 값들을 나타냅니다. 형식 명세에 쓰입니다.

텍스트 기호

⦇의 의미

Z 표기법에서 관계 이미지 식의 시작을 표시합니다.

Z는 소프트웨어와 기타 이산 시스템을 정확히 기술하기 위한 수학적 언어입니다. R⦇S⦈에서 관계 R은 값들을 연결하고 S는 집합입니다. 식 전체는 S의 원소 하나 이상과 연결되는 값들을 나타냅니다.

장레몽 아브리알의 Z 연구는 1970년대 후반에 시작됐습니다. 옥스퍼드에서 발전했고 1980년대에는 산업 프로젝트에서도 쓰였으며, 이후 형식 기법 교육에도 포함됐습니다.

전문적인 기호입니다. Z 명세나 Z 방식의 관계 표기를 나타냅니다.

일반 괄호가 아니라 ⦈로 닫으세요.

조합 아이디어

1
R에 따른 S의 관계 이미지로, S의 원소 하나 이상과 연결되는 값들을 나타냅니다.

⦇ 입력하거나 찾는 법

다른 이름
이미지 괄호 · 관계 이미지 괄호 · limg
다음으로 검색
관계 이미지 · 이미지 연산자 · Z 표기법 괄호 · R⦇S⦈
사용되는 곳
텍스트를 입력하는 모든 곳 · 모양은 글꼴에 따라 달라집니다
Windows (Word)
⎇Alt+X2987 입력 후 AltX를 누르면 ⦇가 됩니다.
Windows
⊞Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win .)을 사용하세요.
macOS
⌃Control+⌘Command+␣Space문자 뷰어를 열고 “z notation left image bracket”을 검색하세요.
Linux
⎈Ctrl+⇧Shift+U2987 입력 후 Enter 또는 Space를 누르세요.
HTML
⦇
CSS
\2987
코드와 인코딩코드 포인트: 1개
HTML 십진수
⦇
HTML 십육진수
⦇
CSS 내용
content: "\2987";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A6%87
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트

화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.

이 기호의 그룹

1

수학과 숫자기호 1,835개