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$"
?
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$"
?
Something like "If $x$ is an even natural number then $\exists n \in \mathbb{N} : x=2n$"?