]> gitweb.michael.orlitzky.com - mjotex.git/search
Use cl() instead of an overline for the topological closure.