galois Package 2006/01/11 23:53:40 rahtz Write Galois connections in two-dimensional style. A LaTeX package for writing Galois connections (two dimensional notation). Patrick Cousot 28910 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