Arrow function

A directed edge in a digraph