It’s “formerly.” Whether or not he wore a suit didn’t change his legal name back from the symbol

It appears both are correct. From merriam-webster:

mpv is better than either imo. Was a long time vlc user who switched this past year. It’s highly customizable with a bevy of support documentation, has an incredibly clean ui, and most importantly, it just works flawlessly. I highly recommend it