On: Does mathematics need a philosophy?

[gallopingcomp]

Yup. You run into that all the time in abstract algebra. Although people usually don’t like to touch the equality sign; the usual practice (based on my limited exposure) is to invent equivalent operator notations.