[NTG-context] Re: creating downarrow to illustrate function rules