[ISORT] Modified the notation in binary search section