3 ms·

I agree. And given it is always introduced in an standard CS course I don’t see why they couldn’t have gone ahead with membership notation.