[EGrouped [EGrouped [EUnderover (ESymbol Op "\8747") (ENumber "0") (ENumber "1"),EIdentifier "f",EGrouped [EStretchy (ESymbol Open "("),EIdentifier "x",EStretchy (ESymbol Close ")")],EText TextNormal "\8202",ESymbol Op "\8518",EIdentifier "x"]]]