Equational Trademarks