It is in some notes that I found online in an attempt to understand something else that I need to know for a math course.
f : ℕ → ℕ
The Attempt at a Solution
It seems to mean that a function of some natural number will equal some other natural number such as n^2 where n is an element of the naturals. But I am not sure.