TeX source:
[\operatorname{span}(I)] > \operatorname{ProcessingTime}[j o b(j)]