"prettier" tex source file