Source: http://beebom.com/best-latex-editors/