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?