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 "registered trademark symbol" immediately following the mark and in superscript style)?