julia-mode LaTeX symbol-table update