<<< native [ EText TextNormal "Theorem 1:" ] >>> tex \text{Theorem\ 1:}