Prefixes starting with <TEX>

<TEXA> . <TEX> (other) .