Choice operator. Usually means if the first argument succeeds, return it, otherwise return the second argument.