(* $Id: RealPowers.v,v 1.5 2004/04/23 10:01:08 lcf Exp $ *)
(*#* printing [!] %\ensuremath{\hat{\ }}% #^# *)
(*#* printing {!} %\ensuremath{\hat{\ }}% #^# *)
(* $Id: RealPowers.v,v 1.5 2004/04/23 10:01:08 lcf Exp $ *)
(*#* printing [!] %\ensuremath{\hat{\ }}% #^# *)
(*#* printing {!} %\ensuremath{\hat{\ }}% #^# *)