<<< native [ EText TextNormal "\"string\"" , ESymbol Rel "=" , EText TextNormal "\8220string\8221" ] >>> eqn roman ""string"" = roman "“string”"