version 1.237, 2003/02/19 15:20:35
|
version 1.238, 2003/02/19 17:48:05
|
Line 458 sub htmlclean {
|
Line 458 sub htmlclean {
|
sub latex_special_symbols { |
sub latex_special_symbols { |
my ($current_token,$stack,$parstack,$where)=@_; |
my ($current_token,$stack,$parstack,$where)=@_; |
if ($where eq 'header') { |
if ($where eq 'header') { |
$current_token =~ s/(\\|_|^)/ /g; |
$current_token =~ s/(\\|_|\^)/ /g; |
$current_token =~ s/(\$|%|\#|&|\{|\})/\\$1/g; |
$current_token =~ s/(\$|%|\#|&|\{|\})/\\$1/g; |
} else { |
} else { |
$current_token=~s/\\ /\\char92 /g; |
$current_token=~s/\\ /\\char92 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\~/\\char126 /g; |
$current_token=~s/\~/\\char126 /g; |
$current_token=~s/(&[^a-z\#])/\\$1/g; |
$current_token=~s/(&[^a-z\#])/\\$1/g; |
$current_token=~s/([^&])\#/$1\\#/g; |
$current_token=~s/([^&])\#/$1\\#/g; |
$current_token=~s/(\$|_|{|})/\\$1/g; |
$current_token=~s/(\$|_|{|})/\\$1/g; |
$current_token=~s/\\char92 /\\texttt{\\char92}/g; |
$current_token=~s/\\char92 /\\texttt{\\char92}/g; |
$current_token=~s/(>|<)/\$$1\$/g; #more or less |
$current_token=~s/(>|<)/\$$1\$/g; #more or less |
if ($current_token=~m/\d%/) {$current_token =~ s/(\d)%/$1\\%/g;} #percent after digit |
if ($current_token=~m/\d%/) {$current_token =~ s/(\d)%/$1\\%/g;} #percent after digit |
if ($current_token=~m/\s%/) {$current_token =~ s/(\s)%/$1\\%/g;} #persent after space |
if ($current_token=~m/\s%/) {$current_token =~ s/(\s)%/$1\\%/g;} #persent after space |
} |
} |
return $current_token; |
return $current_token; |
} |
} |