Comment by antoineMoPa

Yeah I remember this notation completely messing up with my brain back in my discrete math class.