05.test

<<< 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 \[u2212] y right ) ^ d y