Symbol: EDOM