[EGrouped [EText TextNormal "Inline double down arrows, display style, thick line\160",EGrouped [EGrouped [EStretchy (ESymbol Op "\8659"),EGrouped [EGrouped [EBinary "\\frac" (EGrouped [EIdentifier "sin",ESymbol Op "\8289",EIdentifier "\952"]) (EIdentifier "M")]],EStretchy (ESymbol Op "\8659")]],EText TextNormal "\160the end."]]