The $C^*$-algebra generated by an isometry