Fuente TeX:

hor(a_{i,j}) < hor(a_{i,j+1}) \forall i=0...n-1