Add two snuggletex versions