This is an XML Schema module for the logic operators of content MathML. Author: Stphane Dalmas, INRIA.