<<< native [ EIdentifier "u" , ESymbol Ord "\8243" , ESymbol Bin "+" , EIdentifier "p" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , EIdentifier "u" , ESymbol Ord "\8242" , ESymbol Bin "+" , EIdentifier "q" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , EIdentifier "u" , ESymbol Rel "=" , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , ESymbol Pun "," , ESpace (1 % 1) , EIdentifier "x" , ESymbol Rel ">" , EIdentifier "a" ] >>> typst u prime.double + p (x) u prime + q (x) u = f (x) , quad x > a