arrow

The look of the 3-characters arrow used to represent such a dependency in check messages.