Make text sent to coq readable