(n)trademarka formally registered symbol identifying the manufacturer or distributor of a product