is-batman-a-marvel-character