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