blob: ad58f1ca7010a1e729e079c803f13cce9109491b (
plain)
1
2
3
4
5
6
|
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
|