Huh? It's pretty common even in basic college math courses to use language like "for every p in Q". It's not like programming invented this usage.