lim.tex