--- SmartyPants.pl.orig	Fri Jul 25 10:43:16 2003
+++ SmartyPants.pl	Fri Jul 25 10:43:46 2003
@@ -26,7 +26,7 @@
 
 
 # Globals:
-my $tags_to_skip = qr!<(/?)(?:pre|code|kbd|script)[\s>]!;
+my $tags_to_skip = qr!<(/?)(?:pre|code|kbd|script|math)[\s>]!;
 
 
 # Blosxom plug-in interface: