# How to get a more traditional-looking for protected constants

Is there any solution to make rule to export as a traditional form protected constants. Here is example which doesn't work.

aa = I0*I0;
rules11 = {I0 :>
\!$$\*SubsuperscriptBox[ OverscriptBox[\(I$$, $$^$$], $$0$$, $$0, 2$$]\)};


-
Possible duplicate: mathematica.stackexchange.com/q/17633/5 –  rm -rf Feb 1 '13 at 0:45
Another closely related post that describes the techniques in detail is: Simplistic Notation example –  Jens Feb 1 '13 at 0:51
Thank you very much Jens –  Pipe Feb 1 '13 at 1:00
Also related: mathematica.stackexchange.com/q/16652/12 –  Szabolcs Feb 1 '13 at 1:22