Custom Currency Symbol for WooCommerce

This plugin allows you to change the symbol used by the set currency in WooCommerce. It adds an extra field to the currency settings where you can enter the symbol/text you'd like to use.