Change the currency symbol in WooCommerce

change-the-currency-symbol-in-woocommerce.php

function filter_woocommerce_currency_symbol( $currency_symbol, $currency ) {    
    // Compare
    switch( $currency ) {
        case 'GBP': $currency_symbol = '€';
        break;
    }
    
    return $currency_symbol;
}
add_filter( 'woocommerce_currency_symbol', 'filter_woocommerce_currency_symbol', 1, 2 );