src/plugins/dratex/latex
