functional notation