Display:
a
b
Source:
<
apply
>
<
geq
/>
<
ci
> a </
ci
>
<
ci
> b </
ci
>
</
apply
>