unav Clases de matemática y física para la Universidad de Navarra Recursos de LaTeX: LaTeX Formal Methods Reference https://www.cs.put.poznan.pl/ksiek/latexmath.html