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