Unicode has the symbol ⨳ for smash product. Is this a different smash product, or is this symbol just not mentioned in the article? —porges(talk) 08:55, 22 June 2007 (UTC)