Здравствуйте, уважаемые форумчане!
Меня тоже беспокоил этот вопрос, я написал в саппорт WooCommerce, и мне предложили очень простое решение!))
Я им воспользовался, стало все отлично!))
Итак, вот оно: https://docs.woothemes.com/document/add-a-custom-currency-symbol/
Ну, разумеется, нужно поменять...