Update core.tex.