Comment by jhiesey

I would guess it comes from calling the universal quantifier ”for all” in logic