Update library.tex