Synthesizing Trademarks