Fix missing \coq and \ssr