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