add mysql.tex and namespace.tex