galois.sty  V1.04  1999/05/01
-------------------------------------------------------------------------
A LaTeX package for writing Galois connections (two dimensional notation).
This file may be distributed under the terms of the LPPL.
-------------------------------------------------------------------------
Patrick.Cousot@ens.fr