[coq] add '\' smart op