Double and triple arrows

Fixes #154