도널드 커누스가 만든 수학 공식을 위한 마크업 언어. ‘텍’으로 부르고 쓴다.