Color de comentario para Antonio

Estupendo, no funciona en MIKTEX... :(
No se ve una mierda ni en el DVI, ni en el PDF que genera.