X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Ftex-glyphs.c;h=0bb0d5aa2995a5578078580e6ea6b72316f01ce3;hb=8b416a04a5b9cf0d3f380dbd821d337267248759;hp=81458cdd879bb277159e0e48a0c537cd2c826adb;hpb=b26d727333fe551379664a8b617ee6ed4ab9a2e0;p=pspp diff --git a/src/output/tex-glyphs.c b/src/output/tex-glyphs.c index 81458cdd87..0bb0d5aa29 100644 --- a/src/output/tex-glyphs.c +++ b/src/output/tex-glyphs.c @@ -418,11 +418,11 @@ static const struct glyph punctuation [] = {0x2018, "LEFT SINGLE QUOTATION MARK", TEX_NONE, "`" }, {0x2019, "RIGHT SINGLE QUOTATION MARK", TEX_NONE, "'" }, {0x201A, "SINGLE LOW-9 QUOTATION MARK", TEX_NONE, "," }, - {0x201B, "SINGLE HIGH-REVERSED-9 QUOTATION MARK", TEX_NONE, 0 }, + {0x201B, "SINGLE HIGH-REVERSED-9 QUOTATION MARK", TEX_NONE, "{\\font\\xx=xbmc10 \\xx \\char\"27}" }, {0x201C, "LEFT DOUBLE QUOTATION MARK", TEX_NONE, "``" }, {0x201D, "RIGHT DOUBLE QUOTATION MARK", TEX_NONE, "''" }, {0x201E, "DOUBLE LOW-9 QUOTATION MARK", TEX_NONE, ",," }, - {0x201F, "DOUBLE HIGH-REVERSED-9 QUOTATION MARK", TEX_NONE, 0 }, + {0x201F, "DOUBLE HIGH-REVERSED-9 QUOTATION MARK", TEX_NONE, "{\\font\\xx=xbmc10 \\xx \\char\"22}" }, {0x2020, "DAGGER", TEX_NONE, "{\\dag}" }, {0x2021, "DOUBLE DAGGER", TEX_NONE, "{\\ddag}" }, {0x2022, "BULLET", TEX_NONE, "{\\the\\textfont2 \\char\"0F}" }, @@ -481,7 +481,7 @@ static const struct glyph punctuation [] = {0x204C, "BLACK LEFTWARDS BULLET", TEX_NONE, 0 }, {0x204D, "BLACK RIGHTWARDS BULLET", TEX_NONE, 0 }, {0x204E, "LOW ASTERISK", TEX_NONE, "\\lower 0.8ex\\hbox{*}" }, - {0x204F, "REVERSED SEMICOLON", TEX_NONE, 0 }, + {0x204F, "REVERSED SEMICOLON", TEX_NONE, "{\\font\\xx=xbmc10 \\xx \\char\"3B}" }, {0x2050, "CLOSE UP", TEX_NONE, "\\rlap{\\lower 0.8ex\\hbox{\\the\\textfont1 \\char\"05E}}\\raise 1.ex\\hbox{\\the\\textfont1 \\char\"05F}"}, {0x2051, "TWO ASTERISKS ALIGNED VERTICALLY", TEX_NONE, "\\vtop to 0pt{\\rlap{\\lower 0.8ex\\hbox{*}}\\vss}*" }, {0x2052, "COMMERCIAL MINUS SIGN", TEX_NONE, "{\\raise 1.3ex\\hbox{.}\\rlap{\\raise 0.2ex\\hbox{\\kern-0.25em/}}.}" },