|
|
@@ -428,10 +428,11 @@ begin
|
|
|
DocDecodeNamedEntity:=true;
|
|
|
exit;
|
|
|
end;
|
|
|
- if (Code=$22) or (Name='quot') then E:='"' else { double quote sign }
|
|
|
- if (Code=$26) or (Name='amp') then E:='&' else { ampersand }
|
|
|
- if (Code=$3C) or (Name='lt') then E:='<' else { less-than sign }
|
|
|
- if (Code=$3E) or (Name='gt') then E:='>' else { greater-than sign }
|
|
|
+ if (Code=$22{34}) or (Name='quot') then E:='"' else { double quote sign }
|
|
|
+ if (Code=$26{38}) or (Name='amp') then E:='&' else { ampersand }
|
|
|
+ if (Code=$27{39}) or (Name='apos') then E:='''' else { apostrophe }
|
|
|
+ if (Code=$3C{60}) or (Name='lt') then E:='<' else { less-than sign }
|
|
|
+ if (Code=$3E{62}) or (Name='gt') then E:='>' else { greater-than sign }
|
|
|
if (Code=$5B) then E:='[' else { [ }
|
|
|
if (Code=$5C) then E:='\' else { \ }
|
|
|
if (Code=$5D) then E:=']' else { ] }
|
|
|
@@ -444,8 +445,8 @@ begin
|
|
|
if (Code=164) or (Name='curren') then E:='$' else { general currency sign }
|
|
|
if (Code=165) or (Name='yen') then E:='�' else { yen sign }
|
|
|
if (Code=166) or (Name='brvbar') then E:='|' else { broken vertical bar }
|
|
|
-(* if (Code=167) or (Name='sect') then E:=#255 else { section sign }*)
|
|
|
-(* if (Code=168) or (Name='uml') then E:=#255 else { umlaut (dieresis) }*)
|
|
|
+ if (Code=167) or (Name='sect') then E:='' else { section sign }
|
|
|
+ if (Code=168) or (Name='uml') then E:='"' else { umlaut (dieresis) }
|
|
|
if (Code=169) or (Name='copy') then E:='(C)' else { copyright sign }
|
|
|
(* if (Code=170) or (Name='ordf') then E:=#255 else { ordinal indicator, feminine }*)
|
|
|
if (Code=171) or (Name='laquo') then E:='"' else { angle quotation mark -left }
|
|
|
@@ -534,7 +535,8 @@ begin
|
|
|
(* if (Code=254) or (Name='thorn') then E:='?' else { small thorn, Icelandic }*)
|
|
|
if (Code=255) or (Name='yuml') then E:='y' else { small y, dieresis or umlaut }
|
|
|
{ Special codes appearing in TeXH generated files }
|
|
|
- if (code=$2c6) then E:='^' else { Modifier Letter Circumflex Accent }
|
|
|
+ if (code=$2c6{710}) or (Name='circ') then E:='^' else { Modifier Letter Circumflex Accent }
|
|
|
+ if (code=$2dc{732}) or (Name='tilde') then E:='~' else { Small tilde }
|
|
|
if (code=$2013{8211}) then E:='-' else { En dash }
|
|
|
if (code=$2014{8212}) then E:='--' else { Em dash }
|
|
|
if (Code=$2018{8216}) then E:='`' else { acute accent as generated by TeXH }
|
pierre