⨡의 의미
두 스키마를 합치고 두 번째 스키마의 변수만 남깁니다. Z 표기법은 집합론과 논리로 컴퓨터 시스템이 해야 할 일을 기술하는 방법으로, 1970년대 말부터 옥스퍼드 대학교에서 발전했으며 높은 신뢰성이 필요한 소프트웨어에 쓰입니다. 기본 단위는 스키마로, 이름 붙은 상자에 변수와 그 변수가 지켜야 할 조건을 적습니다.
S ⨡ T는 S와 T가 함께 요구하는 모든 조건을 취하고(스키마 논리곱 S T처럼), T에 선언되지 않은 변수를 모두 숨긴다는 뜻입니다. S의 조건은 그대로 유지되지만 밖에서는 T의 이름만 보입니다.
포함된 컬렉션
다음과 혼동하지 마세요
1
관련 문자
2
알아 두면 좋은 점
- 유니코드 3.2는 2002년에 Z 표기법 연산자를 한꺼번에 넣었습니다. 같은 해 Z는 국제 표준 ISO/IEC 13568이 되었습니다.
자주 묻는 질문
2스키마 숨김과 어떻게 다른가요?
숨김은 버릴 변수를 지정하고, 사영은 두 번째 스키마로 남길 변수를 지정합니다.
⨡가 네모로 보이는 이유는?
글꼴에 이 문자가 없기 때문입니다. Cambria Math나 STIX Two 같은 수학 글꼴에는 있습니다.
비슷한 기호
9
⨡ 입력하거나 찾는 법
- 다른 이름
- 스키마 사영 · 사영 연산자 · Z 사영
- 다음으로 검색
- Z 표기법 · zproject · \project · Z 사영 기호 · 정형 명세
- 사용되는 곳
- 텍스트를 입력하는 모든 곳 · 모양은 글꼴에 따라 달라집니다
Windows (Word)
Windows
HTML
⨡CSS
\2A21Z용 LaTeX
Community Z Tools 같은 Z LaTeX 표기에서는
\project로 씁니다.Word(Windows)
2A21을 입력하고 AltX를 누릅니다.
HTML
웹 페이지에서는 ⨡를 씁니다.
코드와 인코딩코드 포인트: 1개
HTML 십진수
⨡
HTML 십육진수
⨡
CSS 내용
content: "\2A21";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A8%A1
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.