Technically. That’s not the point, though. The symbol itself has a built in mnemonic; it’s designed so you can’t forget what it means. If you wanna be pedantic, which, fair enough, we’re talking about math notation after all, add “different” before “mnemonic” in the original comment and the point still stands.