Hello,
It’s related to WooCommerce plugin, not to the theme. Follow the plugin documentation https://docs.woocommerce.com/document/add-a-custom-currency-symbol/
Regards