pull down to refresh

Yes, that is as it is. Mathematical notation is much more parsimonious than language but simplifies, sometimes, beyond the limits of the problem.