Still nicer printing of exceptions?

[fingolfin]

We currently might print something like this:

With exceptions:
  (2*n1)//(q - 1) ∈ ℤ

personally I would find this much easier to grasp:

With exceptions:
  2*n1 ∈ (q - 1)ℤ

Could we perhaps do that? Or are there complications, such as cases were it would be worse than what we have now?

[SoongNoonien]

Could we perhaps do that? Or are there complications, such as cases were it would be worse than what we have now?

I don't see any problems with this.