Some operators perform an unconditional transfer of control, and so never have any return values. Such operators are notated using a notation such as the following:
F a b c =>|