Workaround for spacing after \coq and \ssr