User blog comment:Wythagoras/Arrow notations/@comment-1605058-20140102174508

Isn't -1b in rule 3 a mistake by a chance? As it is now function looks for me to be ill-defined.