Symbol: deq_match