Use notation \bsim earlier, as suggested by Egbert