lang/coq: fix tex problem