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