Symbol: deveq