TeX source:
E F_{\text {if }} 1