now respects functions defined within the notation