version 1.198, 2002/10/03 15:04:29
|
version 1.199, 2002/10/08 17:09:09
|
Line 582 sub latex_special_symbols {
|
Line 582 sub latex_special_symbols {
|
if ($current_token=~/ \#\w/) { |
if ($current_token=~/ \#\w/) { |
$current_token=~s/ \#(\w)/ \\#$1/; |
$current_token=~s/ \#(\w)/ \\#$1/; |
} else { |
} else { |
$current_token=~s/([^&]\#)/\\$1/g; |
$current_token=~s/([^&])(\#)/$1\\$2/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; |