f F G
<declare type="fn" nargs="2"> <ci> f </ci> <apply> <plus/> <ci> F </ci> <ci> G </ci> </apply> </declare>