version 1.86, 2008/01/29 11:18:06
|
version 1.87, 2008/02/06 10:16:00
|
Line 113 sub convert_real {
|
Line 113 sub convert_real {
|
# reasonably well to ⇔. If we get many more of these, |
# reasonably well to ⇔. If we get many more of these, |
# we're going to need to have a translation sub. |
# we're going to need to have a translation sub. |
# |
# |
$xmlstring=~s/\\rightleftharpoons/\&\#8660;/g; |
my $lrharpoon = pack("U", 0x21cc); |
|
$xmlstring=~s/\\rightleftharpoons/$lrharpoon/g; |
|
|
&Apache::lonxml::end_alarm(); |
&Apache::lonxml::end_alarm(); |
return ($xmlstring,$errorstring); |
return ($xmlstring,$errorstring); |