Adds symbols-a4.pdf and detexify