Username change error

Are usernames restricted to one user? For example, if one user is named “Batman” is that name blocked from use for everyone else?