⊦의 의미
판단을 주장으로 표시합니다. 뒤따르는 공식은 참이라고 제시되지만, 이 기호만으로 그 공식이 증명되는 것은 아닙니다.
프레게의 주장 기호는 논리의 형식 표기법을 제시한 저작 Begriffsschrift에 1879년 처음 등장했습니다. 가로획은 내용을 나타내고, 세로획은 그것을 판단하는 행위를 표시했습니다.
후대의 논리 표기법은 관련 턴스타일 기호를 사용해 증명 가능성과 의미론적 귀결을 구분합니다.
형식 논리에서 쓰이는 전문 표기입니다.
⊢나 ⊨로 바꾸기 전에 해당 체계의 정의를 확인하세요.
다음과 혼동하지 마세요
2⊦ 입력 방법
Windows (Word)
Alt+X22A6 입력 후 Alt+X를 누르면 ⊦가 됩니다.
Windows
Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win + .)을 사용하세요.
macOS
Control+Command+Space문자 뷰어를 열고 “assertion”을 검색하세요.
Linux
Ctrl+Shift+U22a6 입력 후 Enter 또는 Space를 누르세요.
HTML
⊦CSS
\22A6유니코드 입력
사용할 수 있다면 운영체제의 유니코드 16진수 입력 방식으로 U+22A6을 입력하세요.
LaTeX (STIX Two)
`stix2`를 불러온 다음 수식 모드에서 `\assert`를 사용하세요.
코드와 인코딩코드 포인트: 1개
HTML 십진수
⊦
HTML 십육진수
⊦
CSS 내용
content: "\22A6";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%8A%A6
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.