I would like to write down that $x$ is $true$ if $n$ is odd and $false$ if $n$ is even.
So far I made this up:
$x = ( n - 2⌊\frac{n}{2}⌋ = 1)$
However, I was wondering whether this can be expressed this way at all, and whether there is a general notation that means 'is odd' or 'is even'.
Thanks for any hints on this.