Display:

f

Source:


<apply>
     <eq/>
     <apply>
          <domain/>
          <fn>
               <ci> f </ci>
          </fn>
     </apply>
     <reals/>
</apply>