add mysql.tex