"for almost all" symbol

Question

Is there a standard symbol for “for all but finitely many”? I had a professor who used to make an inverted capital lambda crossed by a little concave arc. And I found it in Super-recursive algorithms by Mark Burgin denoted by $\forall\forall$.

Answer 1

I use (and I often see in others' writing) $\forall^\infty$ meaning "for all but finitely many" and $\exists^\infty$ for the dual quantifier, "for infinitely many".

Answer 2

I've sometimes come across, $\;\forall\forall\;$ to mean "almost all".

I've mostly encountered $\;\forall^\infty\;$ used to represent: "assymptopically almost surely", "all bar finitely many", or "almost all".