https://enramos.com/2008/06/20/editores-texlatex/