## Stream: maths

### Topic: Notation for filter.eventually

#### Yury G. Kudryashov (Jan 25 2020 at 23:02):

In comments to #1897 @Mario Carneiro suggested using (1) ∀ᶠ x ← f, p x for filter.eventually. Currently we use (2) ∀ᶠ x in f, p x. Another possible notation would be (3) ∀ᶠ x → f, p x. Which one do you like more?

#### Mario Carneiro (Jan 25 2020 at 23:46):

I'm fine with the right arrow btw

Last updated: May 09 2021 at 09:11 UTC