Is there a symbol for "as long as" in math?

Question

Let's say we have the expression

$$∀,∈ℤ:=⟹=$$

Which means "for all values of and in the set of integers, if equals then must equal ."

For example, if 4×6=4×6, then 4=4.

However, this does not apply to 0.

For example, 7×0=6×0, but 6≠0.

Is there a way to add to the previous expression a term that says "as long as x doesn't equal 0"?

Yes, then we write $\forall a,b\in \Bbb Z$ and for all $x\neq 0$ we have that $ax=bx$ implies $a=b$ by cancelling. — Dietrich Burde, May 31 '23 at 16:13
There are a few ways to do this; in your example, you could instead say $\forall a,b\in\mathbb{Z}, ax=bx\implies (a=b\lor x=0)$ (where $\lor$ is read as "or"), or equivalently $\forall a,b\in\mathbb{Z}, ax=bx\land x\neq0\implies a=b$ (where $\land$ is read as "and"). — Charlie, May 31 '23 at 16:15
"a term that says "as long as a or b doesn't equal 0"? Be careful, you want to cancel $x$, which should be nonzero. You don't have to assume anything else on $a$ and $b$. — Dietrich Burde, May 31 '23 at 16:20
@DietrichBurde Ah, you're right. Sorry, I meant to say as long as x doesn't equal 0. Thank you for pointing that out! — The_Animator, May 31 '23 at 16:22
Then the answer is easy - just add another $\forall x\neq 0$ in front. And say, what kind of number $x$ should be, e.g., $x\in \Bbb Z$, or $x\in \Bbb F_p(T)$. — Dietrich Burde, May 31 '23 at 16:23
Or: $∀{,}{∈}ℤ;:∀x{∈}\mathbb R{\setminus}{0};;(=⟹=).$ The colon is unnecessary. — ryang, May 31 '23 at 16:23
@ryang Yes, this is what I wanted to say! Only perhaps $x\in \Bbb C\setminus 0$ instead, or whatever domain we are considering. — Dietrich Burde, May 31 '23 at 16:24
Now that I think about it, "∀,∈ℤ:≠0⟹(=⟹=)" works. — The_Animator, Sep 25 '23 at 17:27

Ethan Bolker · Accepted Answer · 2023-05-31T16:47:19.757

4

There is no formal symbol for this. Even if there were, words are usually easier on your reader than formality. So write

If $x \ne 0$ then $ax= bx \implies a =b $.

You could write

$ax= bx \implies a =b $ provided $ x \ne 0$.

but that might make your reader hesitate and wonder until they finished the sentence. It's kinder to state the condition first.

The Ruby programming language has an unless keyword that can follow the statement it references, so you could code something like

you can cancel x unless x is 0

edited May 31 '23 at 16:47

answered May 31 '23 at 16:38

Ethan Bolker

$\forall { a, b, x } \in \mathbb{R} \wedge x \neq 0, a x = b x \implies a = b.$ – David G. Stork May 31 '23 at 16:44
@DavidG.Stork That's correct, of course, but much harder to read than the same thing written out mostly in English. – Ethan Bolker May 31 '23 at 16:46
Or: $∀{,}{,}x{∈}\mathbb R;(x\ne0\land =⟹=).$ @DavidG.Stork – ryang May 31 '23 at 16:55
@ryang Yes, but see my response to David Stork. This is all part of my campaign to convince students that "prove it" does not mean "write it using formal logic". – Ethan Bolker May 31 '23 at 16:58
@ryang Those are both perfectly good synonyms for "if". Choose what reads best in any particular argument. – Ethan Bolker May 31 '23 at 16:59

Antonio De Angelis · Answer 2 · 2023-06-19T18:38:23.463

0

You could use "as long as $x$ does not equal $0$" like so:

With $\forall x \neq 0$ at the end:

$∀a,b\in\mathbb{Z}:ax=bx\implies a=b, \forall x \neq 0$

or with $\forall x\in\mathbb{Z}^*$ at the end:

$∀a,b\in\mathbb{Z}:ax=bx\implies a=b, \forall x\in\mathbb{Z}^*$

or with $\forall x\in\mathbb{Z}^*$ at the beggining:

$∀a,b\in\mathbb{Z} \wedge \forall x\in\mathbb{Z}^*:ax=bx\implies a=b$

edited Jun 19 '23 at 18:38

answered Jun 19 '23 at 18:06

score 0 · Answer 3 · answered Jun 25 '24 at 08:28

For every nonzero $x$ and integral $a$ and $b,$ if $=$ then $=.$ $$∀x{∈}\mathbb C{\setminus}\{0\}\;\: ∀{,}{∈}ℤ\;\:\big(=⟹=\big).$$
For every $x$ and integral $a$ and $b,$ if $=$ and $x$ is nonzero then $=.$ $$∀x{∈}\mathbb C \;\: ∀{,}{∈}\mathbb Z\:\;\Big((=\text{ and } x\ne0) ⟹=)\Big).$$

3 Answers3