add arrow proc notation