T 기호

T 기호(⊤, LaTeX에서는 \top), 또는 다운 택(down tack)이라 불리며(업 택과 반대되는 개념), 베룸(verum)이라고도 한다. 이 기호는 다음과 같은 의미를 나타내는 데 사용된다.

 논리학에서의 참(true)이라는 진리값, 또는 무조건적으로 참인 문장(예: 명제 논리의 공식). 정의에 따라, 모든 항진명제(tautology)는 베룸과 논리적으로 동치이다.
 유형 이론(type theory)에서의 최상위 타입(top type).
 격자 이론(lattice theory)에서의 최상위 원소(top element).
 APL 프로그래밍 언어에서의 혼합 기수 인코딩(mixed radix encoding).
 국제 음성 기호(IPA) 및 음성학에서의 낮춘 발음 기호(lowered phonic).
이 용법에서는 보통 기본 IPA 기호 아래에 표기된다. 이와 비슷하게 생긴 위첨자 T는 행렬의 전치(transpose)를 의미하는 데 사용되기도 한다.

 기호 위치 
에서는 \top을 사용한다.

기호유니코드JIS X 0213문자 참조명칭

분류:논리 기호