MathML mrow test cases
x
+
2
End of first case
(
x
≪̸
y
)
∧
(
X
⊂⃒
Y
)
End of test