Upper/lower case for symbols

self-explanatory:

(C1) x;
(D1)                                   x
(C2) mu;
(D2)                                  MU


According to the manual, this happens because MU had already been
defined (at startup?) ...

In any event, is there a way to force it to come out in lower-case? Long
story why, but ultimately I'd like to be able to do something like

with_stdout("foo.txt",print(mu))

and get the lowercase "mu" printed to the file.

thanks -

Judah