<<< native [ EText TextNormal "Theorem 1:" ] >>> eqn roman "Theorem 1:"