--- search/filters/default.pl	2002/10/24 18:25:22	1.5
+++ search/filters/default.pl	2002/10/25 17:40:50	1.6
@@ -142,7 +142,7 @@
 
 		sub html_enc {
 			my $tmp = $_[0];
-			$tmp =~ s/&/∧/g;
+			$tmp =~ s/&/&/g;
 			$tmp =~ s/</&lt;/g;
 			$tmp =~ s/>/&gt;/g;
 			# fix some tags