위쪽 방향
Up tack |
업 태크나 가성(⊥性, ⊥)\botLaTeX에서 U+22A5 in Unicode[1])는 다음을 나타내는 데 사용되는 상수 기호다.
- 진리 값 '거짓말' 즉, 항상 거짓인 논리에서 명제를 나타내는 논리 상수(흔히 '팔섬' 또는 '무서운'이라고 한다)이다.
- 바퀴 이론과 격자 이론의 하부 원소로서, 논리 의미론에도 사용될 때 부조리를 나타낸다.
- Curry-Howard 통신의 부조리를 나타내기도 하는 타입 이론의 하위 유형
게다가
- APL 프로그래밍 언어의 혼합 레이더 디코딩
위쪽 태크의 글립은 거꾸로 된 티 기호로 나타나며, 이와 같이 eet(뒤로 "tee"라는 단어)라고 부르기도 한다.[citation needed]티는 이러한 이론들 중 많은 부분에서 보완적이거나 이중적인 역할을 한다.
비슷하게 생긴 수직 기호(⟂, ⟂,\perpLaTeX에서 U+27C2 in Unicode)는 다음을 나타내는 데 사용되는 이진 관계 기호다.
이중 태크업 기호(Double tail up 기호, Unicode의[2] U+2AEB)는 다음을 나타내는 데 사용되는 상수 기호다.
참고 항목
메모들
- ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.
- ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.
- ^ "Conditional independence notation". 27 March 2020.
