Notes on function notation