adding syntatic sugar for MathML creation
trying out new syntatic suger in divide
applyables now all have minimize empty set to true