===> Cleaning for tex-notomath-1.031