티(기호)
Tee (symbol)티(⊤, ⊤\top
LaTeX에서 (up tail과는 반대로) down teck 또는 verum은 다음을 나타내기 위해 사용되는 기호다.
- 격자 이론의 상위 요소.
- 논리학에서 참이 되는 진리 값 또는 무조건 참인 문장(예: 명제 미적분학에서 공식)[1][2][3]정의에 따르면, 모든 tautology는 논리적으로 verum과 동등하다.
- 유형 이론의 상위 유형.
- APL 프로그래밍 언어의 혼합 레이더 인코딩.
유사해 보이는 위첨자 T는 행렬의 전치사를 의미하는 데 사용될 수 있다.
인코딩
유니코드에서는 티 문자를 U+22A4 ⊤DOWN TACK(HTML)로 인코딩한다.⊤
· ⊤, ⊤
)[4] 기호는 LaTeX로 인코딩된다.\top
.
대형 변종은 U+27D9 ⟙LARG DOWN TACK(HTML)로 인코딩된다.⟙
유니코드 블록 기타 수학 기호-A의 경우
참고 항목
메모들
- ^ "tautology Definition & Facts". Encyclopedia Britannica. Retrieved 2020-08-14.
- ^ "Definition of TAUTOLOGY". www.merriam-webster.com. Retrieved 2020-08-14.
- ^ Weisstein, Eric W. "Tautology". mathworld.wolfram.com. Retrieved 2020-08-14.
- ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.