|
|
@@ -535,15 +535,15 @@ 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{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 }
|
|
|
- if (Code=$2019{8217}) then E:='''' else { acute accent as generated by TeXH }
|
|
|
- if (code=$201C{8220}) then E:='''''' else { left double quotation marks }
|
|
|
- if (code=$201D{8221}) then E:='``' else { right double quotation marks }
|
|
|
- if (code=$2026{8230}) then E:='...' else { horizontal ellipsis }
|
|
|
+ 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}) or (Name='endash') then E:='-' else { En dash }
|
|
|
+ if (code=$2014{8212}) or (Name='emdash') then E:='--' else { Em dash }
|
|
|
+ if (Code=$2018{8216}) or (Name='lsquo') then E:='`' else { Acute accent as generated by TeXH }
|
|
|
+ if (Code=$2019{8217}) or (Name='rsquo') then E:='''' else { acute accent as generated by TeXH }
|
|
|
+ if (code=$201C{8220}) or (Name='ldquo') then E:='''''' else { left double quotation marks }
|
|
|
+ if (code=$201D{8221}) or (Name='rdquo') then E:='``' else { right double quotation marks }
|
|
|
+ if (code=$2026{8230}) or (Name='hellip') then E:='...' else { horizontal ellipsis }
|
|
|
if (Code=$FB00) then E:='ff' else { ff together }
|
|
|
if (Code=$FB01) then E:='fi' else { fi together }
|
|
|
if (Code=$FB02) then E:='fl' else { fl together }
|
pierre