(cl-text upper
  (cl-comment 'Example for the "Hets for Common Logic Users" guide; see SymbolMap.het')
  (forall (x y) (iff (A x y)
                     (B x y)))
)