Double minus in prefix decrement looks like dash