sophomores_dream.test

<<< native
[ ESubsup (ESymbol Op "\8747") (ENumber "0") (ENumber "1")
, ESuper (EIdentifier "x") (EIdentifier "x")
, ESpace (1 % 6)
, EStyled TextNormal [ EIdentifier "d" ]
, EIdentifier "x"
, ESymbol Rel "="
, EUnderover
    True
    (ESymbol Op "\8721")
    (EGrouped [ EIdentifier "n" , ESymbol Rel "=" , ENumber "1" ])
    (ESymbol Ord "\8734")
, EGrouped
    [ ESuper
        (EDelimited
           "(" ")" [ Right (ESymbol Op "\8722") , Right (ENumber "1") ])
        (EGrouped [ EIdentifier "n" , ESymbol Bin "+" , ENumber "1" ])
    , ESpace (1 % 6)
    , ESuper
        (EIdentifier "n")
        (EGrouped [ ESymbol Op "\8722" , EIdentifier "n" ])
    ]
]
>>> eqn
int sub 0 sup 1 x sup x ^ roman {d} x = sum from {n = 1} to inf {{left ( - 1 right )} sup {n + 1} ^ n sup {- n}}