(cl-text lower
  (cl-comment 'Example for the "Hets for Common Logic Users" guide; see SymbolMap.dol')
  (forall (x y) (iff (a x y)
                     (b x y)))
)