⊣의 의미
⊣의 의미는 이를 정의하는 표기 체계에 따라 읽습니다.
범주론에서 F ⊣ G는 F가 G의 왼쪽 수반함자임을 나타냅니다. 두 구성 사이의 형식적인 관계입니다. 기호를 사용해 프로그램을 작성하는 언어인 APL에서는 ⊣가 왼쪽 항등 함수로 쓰입니다. X ⊣ Y는 X를 반환하고, ⊣Y는 Y를 반환합니다.
논리에서 ⊣는 역방향 턴스타일 기호입니다. 구체적으로 어떤 관계를 나타내는지는 체계마다 다릅니다.
방향에 따라 역할이 달라집니다
턴스타일 기호의 역사는 형식 논리에서 시작합니다. 프레게가 1879년에 쓴 논리 표기 체계 책 『개념 표기법』(Begriffsschrift)에는 내용을 나타내는 가로획과 판단을 나타내는 세로획을 결합한 주장 기호가 나옵니다. 이후 논리 체계에서는 와 같은 관련 기호를 사용해 도출과 의미론적 귀결을 구분했습니다.
APL의 역사에는 택의 방향을 이름 붙이는 방식이 두 가지 있었다고 기록되어 있습니다. 그래서 기호 모양은 같아도 일부 APL 복합 이름은 Unicode의 왼쪽/오른쪽 명칭과 맞지 않습니다.
전문 표기입니다. 확실히 읽으려면 수식이나 사용된 체계를 알아야 합니다.
나 와 바꾸지 마세요. 방향이 뒤집히거나 세로획이 하나 더 있으면 다른 기호입니다.
누군가 보내면 무슨 뜻인가요
해석: 3개F는 G의 왼쪽 수반입니다.
다음과 혼동하지 마세요
3
자주 묻는 질문
1⊣와 는 같은 기호인가요?
아니요. 방향이 반대이고 형식 체계에서 서로 다른 역할을 맡을 수 있습니다. 서로 바꾸면 문장의 의미가 달라질 수 있습니다.
비슷한 기호
21
⊣ 입력하거나 찾는 법
- 다른 이름
- 역방향 턴스타일 · dashv · 왼쪽 T자 기호
- 다음으로 검색
- 턴스타일 · APL 왼쪽 항등 함수 · 범주론 수반 · 왼쪽 T자
- 사용되는 곳
- 텍스트를 입력하는 모든 곳 · 모양은 글꼴에 따라 달라집니다
코드와 인코딩코드 포인트: 1개
HTML 십진수
⊣
HTML 십육진수
⊣
CSS 내용
content: "\22A3";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%8A%A3
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.