search.php $noise_match

May i know what is the last character of line 154 in search.php?

$noise_match = array('^', '$', '&', '(', ')', '<', '>', '`', '\'', '"', '|', ',', '@', '_', '?', '%', '~', '[', ']', '{', '}', ':', '\\', '/', '=', '#', '\'', ';', '!', '¤');

I search the forum, one of the posts show as

¤

, yet the other show as

*

.
I could get a few different characters by opening the document in different encoding. I guess it should be asterisk?