Renaming mathtools