Add Willem's latex tools