https://www.dfa.unict.it/en/content/latex-day-dfa-0