Fix symbolic(0-) and symbolic(1+)