Did a lot of olv.tex formatting