⊸의 의미
결과 B를 얻기 위해 입력 자원 A를 씁니다.
선형 논리는 자원을 추적하며 추론하는 체계입니다. 전제를 아무 규칙 없이 되풀이해 사용하거나 버릴 수 없습니다. A ⊸ B를 적용하면 A가 소모되어 B를 얻습니다.
장-이브 지라르는 1987년에 선형 논리를 도입했습니다. 그 표기법에서 ⊸는 선형 함의를 나타냅니다.
선형 논리와 자원을 추적하는 프로그래밍 타입 시스템에서 쓰는 전문 표기입니다.
단순히 ‘A이면 B’라고 읽지 마세요. 이 기호를 적용하면 A가 소모됩니다.
자주 묻는 질문
1⊸는 →와 같은 뜻인가요?
아니요. 선형 논리에서 ⊸는 자원의 사용을 추적하지만, 일반적인 →만으로는 그 규칙이 표현되지 않습니다. 선형 논리라고 명확히 정해지지 않은 문맥에서는 저자의 정의를 따르세요.
⊸ 입력 방법
Windows (Word)
Alt+X22B8 입력 후 Alt+X를 누르면 ⊸가 됩니다.
Windows
Win+Rcharmap으로 전체 표를 열거나 이모지 선택기의 Ω 탭(Win + .)을 사용하세요.
macOS
Control+Command+Space문자 뷰어를 열고 “multimap”을 검색하세요.
Linux
Ctrl+Shift+U22b8 입력 후 Enter 또는 Space를 누르세요.
HTML
⊸CSS
\22B8코드와 인코딩코드 포인트: 1개
HTML 십진수
⊸
HTML 십육진수
⊸
CSS 내용
content: "\22B8";
각 이스케이프는 다음 역슬래시에서 끝납니다. 뒤에 십육진수 문자를 그대로 쓰려면 공백이 필요합니다.
URL 인코딩
%E2%8A%B8
1
화면상
1
코드 포인트
1
JS .length
3
UTF-8 바이트
화면에 보이는 기호는 여러 코드 포인트를 포함할 수 있습니다. JS .length는 UTF-16 단위를 세며 UTF-8은 바이트를 셉니다.