Example exc-147
Prev:
exc-146
Next:
exc-148
A
B
<math> <apply><prsubset/> <ci type="set"> A </ci> <ci type="set"> B </ci> </apply> </math>