The DC Comics canonical Batman universe has actually had several Robins over the decades. The original Robin Dick Greyson was introduced in 1940, he was replaced in the comics by a new Robin Jason Todd in 1983, then a new Robin Tim Drake in 1989. They’ve since added a fourth,