Suppose you write a paper 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)?