Support double-arrow notation