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