Suppose you write and article and you use Wolfram *Mathematica* to do calculations. In the article, should the program be mentioned as "Wolfram *Mathematica*" or "Wolfram *Mathematica*®" (with the upperscript registered trademark symbol)?