∀∞ apparently means “for all but finitely many” but it’s both semantically and syntactically ugly.

Posters: eshear. eshear

3 likes recorded by the source corpus.