src/TeXmacs/langs/natural/miss
