Having notation like this is useful. We will often want to add or remove elements from sets, and our notation allows us to do so precisely.