[AMPL 24969] How model this

[4er]

You could write

s.t. em1{k in pol, l in pol: k < l }: A[k,l]+B[k,l]<=0;