7
$\begingroup$

I have never found one listed anywhere: Is there a symbol for a 'when' condition (example below).

$A=B$ when $A$ is even

$\endgroup$
5
  • $\begingroup$ Without words:$$2\,|\,A\implies A=B$$this assures us that only if $A\geq2$ is even then $A=B$. By reversing the arrow we'd mean that $A$ is even only if $A=B$ is true, but the latter is not an hypothesis since it's originally stated as the deduction. $\endgroup$ Commented Nov 3, 2014 at 20:37
  • 2
    $\begingroup$ Why use a symbol when using when is so clear? $\endgroup$ Commented Nov 4, 2014 at 1:28
  • 3
    $\begingroup$ What's wrong with words? A dense pile of notation is very hard to read and, frankly, if you follow @AndreaL.'s suggestion and write $2|L \Rightarrow A=B$, most people will say, "Er, so two divides $A$ implies that $A=B$. Ohhh. $A=B$ when $A$ is even. Why didn't you just write that?" $\endgroup$ Commented Nov 4, 2014 at 1:29
  • $\begingroup$ sure, i was mostly just wondering as often things like 'then' and others have a notation, if there was one for 'when' $\endgroup$ Commented Nov 4, 2014 at 4:24
  • $\begingroup$ @DavidRicherby Although I myself tend to not overuse notation, I simply shown the most fitting "symbol" for the deduction that's been proposed by the OP. I'm sure that it's easier to understand using words, but I wanted also to show the opposite case. $\endgroup$ Commented Nov 4, 2014 at 19:25

4 Answers 4

Reset to default
8
$\begingroup$

This is the same as "If $A$ is even, then $A=B$", or symbolically "$A$ is even $\Rightarrow A=B$". So, if you really wanted to keep the order as you have it, you could write "$A=B \Leftarrow A$ is even", but you run the risk of others not knowing quite what you mean.

$\endgroup$
5
  • $\begingroup$ And this would generally be understood in any discipline? (I know implications from CS) $\endgroup$ Commented Nov 3, 2014 at 20:35
  • 2
    $\begingroup$ It will likely be understood by anyone who knows what an implication is, but I would not say that it is standard notation. Best to check with whatever audience you're writing this for whether or not it would be understood. $\endgroup$ Commented Nov 3, 2014 at 20:40
  • 2
    $\begingroup$ In other words, it is not very often that you hear "$Q$ is implied by $P$" as opposed to "$P$ implies $Q$", although it does happen. $\endgroup$ Commented Nov 3, 2014 at 20:42
  • $\begingroup$ Should I use this implication notation as opposed to 'when', assuming my audience understands implications? I personally prefer the shorter versions of notation $\endgroup$ Commented Nov 3, 2014 at 20:54
  • 1
    $\begingroup$ In any kind of formal setting it is usually preferred to write these things out, so "when" wins. That is, you would likely not even see "$\Rightarrow$" in formal writing, but instead "implies" or written as an if-then statement. Again, it depends on your audience. $\endgroup$ Commented Nov 3, 2014 at 21:07
5
$\begingroup$

It's an implication: ($A$ is even) implies ($A=B$), or

$$(A \mathrm{\ is\ even})\implies(A=B)$$

$\endgroup$
0
$\begingroup$

If you want to keep them in the original order, you can write "$A = B$ if $A$ is even." This is semantically the same as the other answers. Of course, "if" is not a symbol per se, but it might as well be one, and it's a little clearer and more directly logical than "when".

$\endgroup$
-1
$\begingroup$

As said, $A=B\Leftarrow A\text{ is even}$, or $A=B\text{ if }A\text{ is even}$ works, but we can do it slightly differently too; "because" also means the same thing as "if" or "when":

$$ A=B\quad\because\,A\text{ is even} $$

Personally, I see "$A=B\text{ if }A\text{ is even}$" the most (and yes, I actually see this quite a bit; my professor likes to state theorems with "if"), and I like to explain why I skipped a bunch of steps on my homework by saying "because" (although I usually don't use $\because$ because it looks a lot like $\therefore$, but is much less used)

$\endgroup$
2
  • 1
    $\begingroup$ Just for completeness, you can flip it around, too: $$A \text{ is even} \therefore A=B.$$ This notation is a little more… dramatic than $\implies$—I think unnecessarily do. $\endgroup$ Commented Nov 4, 2014 at 3:09
  • $\begingroup$ No, "because" doesn't mean if/when, because only the former asserts that the antecedent is true. $\endgroup$ Commented Nov 4, 2024 at 12:47

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.