<<< native [ EFraction NormalFrac (EGrouped [ EIdentifier "x" , ESymbol Bin "+" , EIdentifier "y" , ESymbol Bin "+" , EIdentifier "z" ]) (EGrouped [ EIdentifier "x" , EPhantom (ESymbol Bin "+") , EPhantom (EIdentifier "y") , ESymbol Bin "+" , EIdentifier "z" ]) ] >>> eqn {x + y + z} over {x hphantom + hphantom y + z}