TeX source:
E > 0