Jean Grey
Phoenix
Marvel Girl
Dark Phoenix
Redd Dayspring
A new One
Trademark and copyright aren't the same thing. That's how marvel can have the trademark mark for captain marvel, but D.C. can still have a character named captain marvel, but they can't use the name as the title to a comic.