<<< native [ ESubsup (ESymbol Op "\8747") (EIdentifier "a") (EIdentifier "x") , ESpace ((-1) % 6) , ESpace ((-1) % 6) , ESpace ((-1) % 6) , ESubsup (ESymbol Op "\8747") (EIdentifier "a") (EIdentifier "s") , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "y") ] , ESpace (1 % 6) , EIdentifier "d" , EIdentifier "y" , ESpace (1 % 6) , EIdentifier "d" , EIdentifier "s" , ESymbol Rel "=" , ESubsup (ESymbol Op "\8747") (EIdentifier "a") (EIdentifier "x") , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "y") ] , EDelimited "(" ")" [ Right (EIdentifier "x") , Right (ESymbol Bin "\8722") , Right (EIdentifier "y") ] , ESpace (1 % 6) , EIdentifier "d" , EIdentifier "y" ] >>> eqn int sub a sup x back 16 back 16 back 16 int sub a sup s f left ( y right ) ^ d y ^ d s = int sub a sup x f left ( y right ) left ( x - y right ) ^ d y