Uncomment texlive-math-extra