Add more math macros.
Load mathabx instead of redefinitions.
Build depends on mathdefs.tex.