Display:

Source:


<apply>
     <neq/>
     <integers/>
     <emptyset/>
</apply>