redefining \Re doesn't work as expected, see http://tex.stackexchange.com/questions/239900/begindocument-breaks-redefinition-of-re