galois Package 2006/07/15 20:49:34 rahtz Write Galois connections in two-dimensional style. A LaTeX package for writing Galois connections (two dimensional notation). Patrick Cousot 143621 texmf-dist/tex/latex/galois/galois.sty texmf-dist/tpm/galois.tpm texmf-dist/doc/latex/galois/README texmf-dist/doc/latex/galois/galois.pdf texmf-dist/source/latex/galois/Makefile texmf-dist/source/latex/galois/galois.dtx texmf-dist/source/latex/galois/galois.ins Package/galois