added a cheap hack for outputting the power symbol