mfrac-01.test

<<< native
[ EFraction NormalFrac (ENumber "1") (ENumber "8")
, ESymbol Rel "="
, EFraction
    NormalFrac
    (ENumber "1")
    (EUnder False (ENumber "8") (EPhantom (ENumber "0")))
]
>>> eqn
1 over 8 = 1 over {8 from {hphantom 0}}