(* $Id: CSemiGroups.v,v 1.8 2004/04/22 14:49:43 lcf Exp $ *)
(*#* printing [+] %\ensuremath+% #+# *)
(*#* printing {+} %\ensuremath+% #+# *)
(* $Id: CSemiGroups.v,v 1.8 2004/04/22 14:49:43 lcf Exp $ *)
(*#* printing [+] %\ensuremath+% #+# *)
(*#* printing {+} %\ensuremath+% #+# *)