# How can I symbolically express that a variable is not a zero divisor?

We cannot divide by zero divisors. In complex numbers when cancelling or dividing by a variable $$x$$, we remark that $$xne0$$. But how one can make a similar remark if the ring has multiple zero divisors symbolically?