Expressing x is a Real Number and Not 1: Quick Notation Guide

[Char. Limit]

I was wondering how to express "x is a real number and not 1". What's the best way to express this? Right now I'm using...

$$x \epsilon \mathbb{R} \wedge x \neq 1$$

But I'm sure there's a better way.

 

[chiro]

I was wondering how to express "x is a real number and not 1". What's the best way to express this? Right now I'm using...

$$x \epsilon \mathbb{R} \wedge x \neq 1$$

But I'm sure there's a better way.

Use the notation x = R \ {1}

 

[Char. Limit]

Use the notation x = R \ {1}

Got it, thanks!