X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Funicodesymbols;h=b8542b5986d497bfa02701d6d9cac980fb21ceba;hb=04a171cac68cded95b1c4018d26ca50cb191ffa4;hp=e74e7aec6463420209ceb074be463ef713717d24;hpb=3103e4b7bb6c7822fd56fe44499fccf7cfaf395f;p=lyx.git

diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index e74e7aec64..b8542b5986 100644
--- a/lib/unicodesymbols
+++ b/lib/unicodesymbols
@@ -726,18 +726,18 @@
 0x0374 "\\textgreek{\\char254}"    "textgreek" "" # GREEK NUMERAL SIGN
 0x0375 "\\textgreek{\\char255}"    "textgreek" "" # GREEK LOWER NUMERAL SIGN
 0x037a "\\textgreek{\\char124}"    "textgreek" "" # GREEK YPOGEGRAMMENI
-0x037e "\\textgreek{\\char63}"     "textgreek" "" # GREEK QUESTION MARK
-0x0384 "\\textgreek{\\char39}"     "textgreek" "force" # GREEK TONOS
+0x037e "\\textgreek{?}"            "textgreek" "" # GREEK QUESTION MARK
+0x0384 "\\textgreek{'}"            "textgreek" "force" # GREEK TONOS
 0x0385 "\\textgreek{\\char35}"     "textgreek" "force" # GREEK DIALYTIKA TONOS
-0x0386 "\\textgreek{\\char39A}"    "textgreek" "" # GREEK CAPITAL LETTER ALPHA WITH TONOS
-0x0387 "\\textgreek{\\char38}"     "textgreek" "force" # GREEK ANO TELEIA
-0x0388 "\\textgreek{\\char39E}"    "textgreek" "" # GREEK CAPITAL LETTER EPSILON WITH TONOS
-0x0389 "\\textgreek{\\char39H}"    "textgreek" "" # GREEK CAPITAL LETTER ETA WITH TONOS
-0x038a "\\textgreek{\\char39I}"    "textgreek" "" # GREEK CAPITAL LETTER IOTA WITH TONOS
-0x038c "\\textgreek{\\char39O}"    "textgreek" "" # GREEK CAPITAL LETTER OMICRON WITH TONOS
-0x038e "\\textgreek{\\char39U}"    "textgreek" "" # GREEK CAPITAL LETTER UPSILON WITH TONOS
-0x038f "\\textgreek{\\char39W}"    "textgreek" "" # GREEK CAPITAL LETTER OMEGA WITH TONOS
-0x0390 "\\textgreek{\\char242}"    "textgreek" "" # GREEK SMALL LETTER IOTA WITH DIALYTKA
+0x0386 "\\textgreek{'A}"           "textgreek" "" # GREEK CAPITAL LETTER ALPHA WITH TONOS
+0x0387 "\\textgreek{;}"            "textgreek" "" # GREEK ANO TELEIA
+0x0388 "\\textgreek{'E}"           "textgreek" "" # GREEK CAPITAL LETTER EPSILON WITH TONOS
+0x0389 "\\textgreek{'H}"           "textgreek" "" # GREEK CAPITAL LETTER ETA WITH TONOS
+0x038a "\\textgreek{'I}"           "textgreek" "" # GREEK CAPITAL LETTER IOTA WITH TONOS
+0x038c "\\textgreek{'O}"           "textgreek" "" # GREEK CAPITAL LETTER OMICRON WITH TONOS
+0x038e "\\textgreek{'U}"           "textgreek" "" # GREEK CAPITAL LETTER UPSILON WITH TONOS
+0x038f "\\textgreek{'W}"           "textgreek" "" # GREEK CAPITAL LETTER OMEGA WITH TONOS
+0x0390 "\\textgreek{\\char242}"    "textgreek" "" # GREEK SMALL LETTER IOTA WITH DIALYTIKA AND TONOS
 0x0391 "\\textgreek{A}"           "textgreek" "" # GREEK CAPITAL LETTER ALPHA
 0x0392 "\\textgreek{B}"           "textgreek" "" # GREEK CAPITAL LETTER BETA
 0x0393 "\\textgreek{G}"           "textgreek" "" # GREEK CAPITAL LETTER GAMMA
@@ -1197,7 +1197,7 @@
 0x1e99 "\\r{y}"                   "" "mathalpha" "\\mathring{y}" # LATIN SMALL LETTER Y WITH RING ABOVE
 #0x1e9a ""                         "" "" # LATIN SMALL LETTER A WITH RIGHT HALF RING
 #0x1e9b ""                         "" "" # LATIN SMALL LETTER LONG S WITH DOT ABOVE
-#0x1e9e ""                         "" "" # LATIN CAPITAL LETTER SHARP S
+0x1e9e "\\SS"                         "" "" # LATIN CAPITAL LETTER SHARP S
 0x1ea0 "\\d{A}"                   "" "mathalpha" "\\subdot{A}" "accents,subdot" # LATIN CAPITAL LETTER A WITH DOT BELOW
 0x1ea1 "\\d{a}"                   "" "mathalpha" "\\subdot{a}" "accents,subdot" # LATIN SMALL LETTER A WITH DOT BELOW
 #0x1ea2 ""                         "" "" # LATIN CAPITAL LETTER A WITH HOOK ABOVE
@@ -1500,11 +1500,25 @@
 0x2217 "\\textasteriskcentered"   "textcomp" "" # ASTERISK OPERATOR
 0x2219 ""                         "" "" "\\centerdot" "amssymb" # BULLET OPERATOR
 0x221a "\\textsurd"               "textcomp" "" # SQUARE ROOT
+0x221d ""                         "" "" "\\propto" # PROPORTIONAL TO
 0x221e ""                         "" "" "\\infty" # INFINITY
 # use the following macro for the character RIGHT ANGLE
 0x221f "\\LyXrightangle" "\\newcommand*\\LyXrightangle{{\\usefont{U}{msa}{m}{n}\\char120}}" ""
+0x2227 ""                         "" "" "\\bigwedge" "" # LOGICAL AND
+0x2228 ""                         "" "" "\\bigvee" "" # LOGICAL OR
 0x2229 ""                         "" "" "\\bigcap" # INTERSECTION
-0x222b ""                         "" "" "\\int" # INTEGRAL
+0x222a ""                         "" "" "\\bigcup" "" # UNION
+0x222b ""                         "" "" "\\int" "esint" # INTEGRAL
+0x222c ""                         "" "" "\\iint" "esintoramsmath" # DOUBLE INTEGRAL
+0x222d ""                         "" "" "\\iiint" "esintoramsmath" # TRIPLE INTEGRAL
+0x222e ""                         "" "" "\\oint" "esint" # CONTOUR INTEGRAL
+0x222f ""                         "" "" "\\oiint" "esint" # SURFACE INTEGRAL
+0x2230 ""                         "" "" "\\oiiint" "txfonts" # VOLUME INTEGRAL
+#0x2231 ""                         "" "" "" "" # CLOCKWISE INTEGRAL
+0x2232 ""                         "" "" "\\ointclockwise" "esint" # CLOCKWISE CONTOUR INTEGRAL
+0x2233 ""                         "" "" "\\ointctrclockwise" "esint" # ANTICLOCKWISE CONTOUR INTEGRAL
+0x2234 ""                         "" "" "\\therefore" "amssymb" # THEREFORE
+0x2235 ""                         "" "" "\\because" "amssymb" # BECAUSE
 0x2248 ""                         "" "" "\\approx" # ALMOST EQUAL TO
 0x2260 ""                         "" "" "\\neq" # NOT EQUAL TO
 0x2261 ""                         "" "" "\\equiv" # IDENTICAL TO
@@ -1786,6 +1800,20 @@
 0x27e8 "\\textlangle"             "textcomp" "" # MATHEMATICAL LEFT ANGLE BRACKET
 0x27e9 "\\textrangle"             "textcomp" "" # MATHEMATICAL RIGHT ANGLE BRACKET
 #
+# supplemental mathematical operators
+#
+0x2a0c ""                         "" "" "\\iiiint" "esint" # QUADRUPLE INTEGRAL OPERATOR
+#0x2a0d ""                         "" "" "" "" # FINITE PART INTEGRAL
+#0x2a0e ""                         "" "" "" "" # INTEGRAL WITH DOUBLE STROKE
+0x2a0f ""                         "" "" "\\fint" "esint" # INTEGRAL AVERAGE WITH SLASH
+0x2a16 ""                         "" "" "\\sqint" "esint" # QUATERNION INTEGRAL OPERATOR
+#0x2a17 ""                         "" "" "" "" # INTEGRAL WITH LEFTWARDS ARROW WITH HOOK
+#0x2a18 ""                         "" "" "" "" # INTEGRAL WITH TIMES SIGN
+#0x2a19 ""                         "" "" "" "" # INTEGRAL WITH INTERSECTION
+#0x2a1a ""                         "" "" "" "" # INTEGRAL WITH UNION
+#0x2a1b ""                         "" "" "" "" # INTEGRAL WITH OVERBAR
+#0x2a1c ""                         "" "" "" "" # INTEGRAL WITH UNDERBAR
+#
 # ligatures
 #
 0xfb00 "ff"                       "" "force" # LATIN SMALL LIGATURE FF