@isabelm, estas en lo correcto, es un cuantificador y ambas formas que presentas son validas. no lo puse en la forma mas simple y/o correcta porque el codigo intentaba ser un pseudo-codigo o pseudo-expresion para que el autor lo analice. no es un "regaño" ni nada similar, solo un comentario... ¿vale?
aparte de como _cronos dice, es mas explicativo.