texlion.svg