Display:
A
B
Source:
<
apply
>
<
notsubset
/>
<
ci
> A </
ci
>
<
ci
> B </
ci
>
</
apply
>