<<< mml $\frac{y}{x}\text{Divide y by x}$ >>> native [ EFraction NormalFrac (EIdentifier "y") (EIdentifier "x") ]