Improve symbol on power button

[hgeorgsch]

The font used for the GUI button is a bit crude, and does not look like a maths font. Particularly the x^y button looks bad.

[hgeorgsch]

The design of the other GUI buttons should also be reviewed.