experimental improvements in MathOp definitions