Symbol: ModMatchEq