Marvel used to be under the Timely Comics name, but there was always a Marvel comics division. The Marvel brand name was eventually featured as the comics gained prominence, and it’s known as such today.