Display:

Source:

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