LaTeX resources used by the DiSimplex project