Conversor de Tex para GIF
