src/TeXmacs/examples/plugins/formula/progs
