In Denmark you have to use DKK as currency symbol, but WooCommerce use kr as currency symbol. You can change it with this code:

function add_DKK_currency_symbol($currency_symbol, $currency) {
	if($currency == 'DKK') {
		$currency_symbol = 'DKK';
	}
	return $currency_symbol;
}
add_filter('woocommerce_currency_symbol', 'add_DKK_currency_symbol', 10, 2);

Put this code in your theme's functions.php file, and you are good to go.