The attached patch fix bug 3673:
and adds some more unicode symbols according to
http://www.unicode.org/charts/PDF/U2000.pdf
and
ftp://ctan.tug.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf
Ok to go in?
regards Uwe
Index: unicodesymbols
===================================================================
--- unicodesymbols (revision 18479)
+++ unicodesymbols (working copy)
@@ -932,5 +932,13 @@
0x1ef9 "\\~{y}" "" "" # LATIN SMALL LETTER Y WITH TILDE
0x2013 "--" "" "" # EN DASH
0x2014 "---" "" "" # EM DASH
+0x201c "{}``" "" "" # LEFT DOUBLE QUOTATION MARK
+0x201d "''" "" "" # RIGHT DOUBLE QUOTATION MARK
+0x201e ",," "" "" # DOUBLE LOW-9 QUOTATION MARK
+0x2020 "\\dag" "" "" # DAGGER
+0x2021 "\\ddag" "" "" # DOUBLE DAGGER
+0x2026 "\\dots" "" "" # HORIZONTAL ELLIPSIS
+0x2030 "\\textperthousand" "textcomp" "" # PER MILLE SIGN
+0x2031 "\\textpertenthousand" "textcomp" "" # PER TEN THOUSAND SIGN
0x20ac "\\texteuro" "textcomp" "" # EURO SIGN
