Comment by dsr_

Trademark is the mechanism of enforcement for this usage, just as copyright is the mechanism of enforcement for the GPL.

You can come up with other mechanisms that would work, but this is the one that we have in existence now.