down arrow notation