New in Wolfram Mathematica 7: Enhanced Typesetting Automation  previous | next 
Use Consistent Notation for Formal Symbols
Mathematica 7 introduces a family of formal symbol characters that can be used to represent generated parameters in a uniform way.
In[1]:=

Click for copyable input
DifferentialRootReduce[Cos[x], x]
Out[1]=