anchor.diff:     ))
   
   (define-sw-parser-rule :MAPS-TO ()
  -  (:tuple "+->"))
  +  (:tuple (:anyof "+->" "\\_mapsto")))
   
   ;;; ========================================================================
   ;;;  SC-SPEC-MORPH
  
positive.code:    ((:tuple "\\_noteq")  (make-equality-fun '(:|NotEquals|) ':left-lcb ':right-lcb))
     ((:tuple "<<")  (make-fun '(:|RecordMerge|) (freshMetaTypeVar ':left-lcb ':right-lcb)
  			     ':left-lcb ':right-lcb))
     ))
  
  ;;; ------------------------------------------------------------------------
  
negative.code:   (:anyof
     ((:tuple "=")           "=")		; so we can use = (and "is" ?) as an op-name
     ((:tuple "*")           "*")		; so we can use * as an op-name
     ((:tuple "\\_times")    "\\_times")	; so we can use \_times as an op-name
     ((:tuple "/")           "/")		; so we can use / as an op-name
     ((:tuple "translate")   "translate")	; so we can use translate as a op-name
     ((:tuple "colimit")     "colimit")	; so we can use colimit as a op-name
  