<<< native [ EText TextNormal "\"string\8221" , ESymbol Rel "=" , EText TextNormal "\8220string\"" ] >>> tex \text{"string”} = \text{“string"}