symbolic n(1),m;
{[i] : n(i) >= 0}  union {[i] : n(i) <=0};

{[i] : n(i) >= 1 && 1 <= i <= m} 
	union {[i] : n(i) <1 && 1 <= i <= m};