Hello there, happy new year !
Are there any problems to set ^^x^^ (or something else) to be <sup>x</sup>
or better <sup><font size="-1">x</font></sup> ?
We frequently use it on french wikipedia and it is a little bit tired to
write each time.
Thanks.
Aoineko