$x△y=y△x$ for all $x$ and $y$

$x△0=x$ for all $x$

$x△(-x)=0$ for all $x$

$2(x△y)=(2x)△(2y)$ for all $x$ and $y$

$x△y>0$ if $x\ne -y$