galois Package 2000/02/29 14:55:00 rahtz Write Galois connections in two-dimensional style. A LaTeX package for writing Galois connections (two dimensional notation). Patrick Cousot 28908 texmf-dist/tex/latex/galois/galois.sty texmf-dist/tpm/galois.tpm texmf-dist/source/latex/galois/README texmf-dist/source/latex/galois/galois.dtx texmf-dist/source/latex/galois/galois.ins Package/galois