remove coq pretty symbols