Is there a math symbol meaning "If" or "when"?

$\begingroup$

To introduce a logic premise normally people use the word If, or Iff (if and only if). Is there a math symbol with the same meaning?

$\endgroup$ 4

2 Answers

$\begingroup$

You could say that $\implies$ (implies) means if, so, $A \implies B$ would mean "If $A$ then $B$", and $A\iff B$ would mean iff, so it would mean "$A \implies B \wedge B \implies A$" (or "If $A$ then $B$" and "If $B$ then $A$")

$\endgroup$ 5 $\begingroup$

"B if A" is "if A, then B".

Thus, we may symbolize it with:

$A \to B$.

Also "B when A" is "if A, then B".

$\endgroup$

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy