galois.sty  V1.05  2006/03/19
-------------------------------------------------------------------------
Write Galois connections in two dimensional style, optionally in color.
This file may be distributed under the terms of the LPPL.
-------------------------------------------------------------------------
Patrick.Cousot@ens.fr