A markup language with TeX syntax