The statement is a direct translation of maximize z = :2>jXj (with = replaced by:).
j=l
Note the use ofthe brackets [] for representing the subscripts.
Constraint i is given the root name restrindexed over the set {1 ..m}:
restr(i in I..m}:sum(j in l..n}a[i,j}*x[jl