Exactly. Use HTML codes for the currency, as directly pasting the currency symbol in there would most likely either break the templates or display in a weird way on certain users' computers... and you don't want that.