changed notation for negative numbers