Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a logical symbol for "is of the form" which can be used as a shorthand in a statement like:

"Any even natural number is of the form $2n$"


share|cite|improve this question

closed as too localized by Asaf Karagila, Jonas Teuwen, Eric Naslund, t.b., Zev Chonoles Dec 7 '11 at 4:54

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Not that I am aware of. "Of the form" is not a very precise statement in any case, since "form" may not be well-defined. We usually say that they are equal to something or other, or that they "can be written" or "expressed" as, and you say it, you don't abbreviate it. – Arturo Magidin Jul 20 '11 at 20:40
$\forall n(\exists k(n=k+k)\rightarrow ...)$, and you can always add "Denote by $E(n)$ the formula $\exists k(n=k+k)$" at the start of your text. – Asaf Karagila Jul 20 '11 at 20:42
I would convey something like this through an implication: $\forall k$ (if $k$ is an even natural number, then $\exists n(k=2n)$), or words to that effect. – Andrés E. Caicedo Jul 20 '11 at 20:46
Presumably you are going to have to state $n$ is a natural number and perhaps what even means – Henry Jul 20 '11 at 20:47
Not as far as I know: "is of the form" is plenty short. One of its traditional uses in number theory has largely been replaced by the congruence notation. Anyway, we should concentrate more on being understood than on being brief. – André Nicolas Jul 20 '11 at 22:39
up vote 2 down vote accepted

Something like "If $x$ is an even natural number then $\exists n \in \mathbb{N} : x=2n$"?

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.