TeX source:
\text{Length} [\operatorname{span}(i)]=\operatorname{Length}[\operatorname{span}(i)] - \text{ProcessingTime[job (j)]}