Add space between currency and price

In theme’s function.php we have this new code:

 

add_filter(‘woocommerce_currency_symbol’, ‘add_my_currency_symbol’, 10, 2);

function add_my_currency_symbol( $currency_symbol, $currency ) {
switch( $currency ) {
case ‘NOK’: $currency_symbol = ‘kr ‘; break;
}
return $currency_symbol;
}

Where NOK is the name of the currency, as found on /woocommerce/woocommerce-core-functions.php