--
--
-- Term Rewriting
--
--

def mathNormalize : (MathExpr -> MathExpr) := id