Function Notation In Math Definition