Update campus.tex