<math> <declare> <ci>F</ci> <lambda> <bvar><ci> U </ci></bvar> <apply> <int/> <bvar><ci> x </ci></bvar> <lowlimit><cn> 0 </cn></lowlimit> <uplimit><ci> a </ci></uplimit> <ci> U </ci> </apply> </lambda> </declare> </math>