version 1.234, 2003/02/14 19:35:55
|
version 1.235, 2003/02/17 20:10:08
|
Line 457 sub htmlclean {
|
Line 457 sub htmlclean {
|
|
|
sub latex_special_symbols { |
sub latex_special_symbols { |
my ($current_token,$stack,$parstack,$where)=@_; |
my ($current_token,$stack,$parstack,$where)=@_; |
if ($where=='header') { |
if ($where eq 'header') { |
|
$current_token =~ s/\\/ /g; |
|
$current_token =~ s/\{/\\\{/g; |
|
$current_token =~ s/\}/\\\}/g; |
$current_token =~ s/_/ /g; |
$current_token =~ s/_/ /g; |
$current_token =~ s/\^/ /g; |
$current_token =~ s/\^/ /g; |
$current_token =~ s/&/\\&/g; |
$current_token =~ s/&/\\&/g; |
|
$current_token =~ s/\#/\\\#/g; |
|
$current_token =~ s/%/\\%/g; |
|
$current_token =~ s/\$/\\\$/g; |
} else { |
} else { |
$current_token=~s/\\ /\\char92 /g; |
$current_token=~s/\\ /\\char92 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\^/\\char94 /g; |