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

Z Notation Spot

Z Notation Spot

⦁는 Z 표기에서 선언과 평가할 식의 경계를 나타냅니다. ∃ 뒤에서는 ‘~을 만족하는’으로, ∀ 뒤에서는 모든 값에 성립해야 할 조건으로 읽습니다. 장식용 글머리표가 아니라 형식 명세 문자입니다.

텍스트 기호
다음으로 검색
z · 점 · 글머리표 · 술어 · 한정자 · 스키마
사용되는 곳
텍스트를 입력하는 모든 곳 · 모양은 글꼴에 따라 달라집니다

⦁의 의미

선언과 뒤따르는 술어 또는 식을 나눕니다. ∃ x : S ⦁ P는 S의 어떤 x가 P를 참으로 만든다는 뜻입니다. ∀ x : S ⦁ P에서는 S의 모든 x가 P를 만족해야 합니다.

다음과 혼동하지 마세요

3

조합 아이디어

2
P를 만족하는 x가 S에 존재한다.
S의 모든 x가 P를 만족한다.

⦁ 입력 방법

Windows (Word)
Alt+X2981 입력 후 Alt+X를 누르면 ⦁가 됩니다.
Windows
Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win + .)을 사용하세요.
macOS
Control+Command+Space문자 뷰어를 열고 “z notation spot”을 검색하세요.
Linux
Ctrl+Shift+U2981 입력 후 Enter 또는 Space를 누르세요.
HTML
⦁
CSS
\2981
코드와 인코딩코드 포인트: 1개
HTML 십진수
⦁
HTML 십육진수
⦁
CSS 내용
content: "\2981";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%A6%81
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트

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

이 기호의 그룹

1

수학과 숫자기호 1,835개