05.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"
]