texmath-0.6: tests/deMorgans_law.xhtml
<?xml version='1.0' ?>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta content="application/xhtml+xml; charset=UTF-8" http-equiv="Content-Type" />
</head>
<body>
<math display="block" xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<mo>¬</mo>
<mo stretchy="false">(</mo>
<mi>p</mi>
<mo>∧</mo>
<mi>q</mi>
<mo stretchy="false">)</mo>
<mo>⇔</mo>
<mo stretchy="false">(</mo>
<mo>¬</mo>
<mi>p</mi>
<mo stretchy="false">)</mo>
<mo>∨</mo>
<mo stretchy="false">(</mo>
<mo>¬</mo>
<mi>q</mi>
<mo stretchy="false">)</mo>
<mover>
<mrow>
<munderover>
<mo>⋃</mo>
<mrow>
<mi>i</mi>
<mo>=</mo>
<mn>1</mn>
</mrow>
<mi>n</mi>
</munderover>
<msub>
<mi>A</mi>
<mi>i</mi>
</msub>
</mrow>
<mo accent="true">¯</mo>
</mover>
<mo>=</mo>
<munderover>
<mo>⋂</mo>
<mrow>
<mi>i</mi>
<mo>=</mo>
<mn>1</mn>
</mrow>
<mi>n</mi>
</munderover>
<mover>
<msub>
<mi>A</mi>
<mi>i</mi>
</msub>
<mo accent="true">¯</mo>
</mover>
</mrow>
</math>
</body>
</html>