Adding snuggletex