From 4a68164a544897aa6fc54b5eb61b23135e44d4df Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Wed, 14 Dec 2022 03:01:10 +0000 Subject: CTAN sync 202212140301 --- support/latex2nemeth/README | 11 +- support/latex2nemeth/contrib/nemeth2odt | 0 support/latex2nemeth/encodings/nemeth.json | 2 +- support/latex2nemeth/encodings/polytonic.json | 217 ++++++++++++++++++++++++-- support/latex2nemeth/latex2nemeth | 0 5 files changed, 215 insertions(+), 15 deletions(-) mode change 100755 => 100644 support/latex2nemeth/contrib/nemeth2odt mode change 100755 => 100644 support/latex2nemeth/latex2nemeth (limited to 'support/latex2nemeth') diff --git a/support/latex2nemeth/README b/support/latex2nemeth/README index a1bac4c0d0..74ee535fb1 100644 --- a/support/latex2nemeth/README +++ b/support/latex2nemeth/README @@ -1,6 +1,15 @@ Latex2Nemeth ============ -Version 1.1.1 +Version 1.1.3 + +What's new in version 1.1.3 +------------------------- +Corrections in JSON files with Braille/Nemeth symbols. + +What's new in version 1.1.2 +------------------------- +Pstricks images are stored in separate LaTeX files. + What's new in version 1.1.1 ------------------------- diff --git a/support/latex2nemeth/contrib/nemeth2odt b/support/latex2nemeth/contrib/nemeth2odt old mode 100755 new mode 100644 diff --git a/support/latex2nemeth/encodings/nemeth.json b/support/latex2nemeth/encodings/nemeth.json index 6831c05fd4..126bc8233e 100644 --- a/support/latex2nemeth/encodings/nemeth.json +++ b/support/latex2nemeth/encodings/nemeth.json @@ -3695,7 +3695,7 @@ "\\widetilde": "⠈⠱", "\\wideoverbar": "⠱", "\\widebreve": "⠣⠸⠩", -"\widecheck": "⠣⠈⠸⠣", +"\\widecheck": "⠣⠈⠸⠣", "\\overleftharpoon": "⠣⠫⠈⠪⠒⠒⠻", "\\overrightharpoon": "⠣⠫⠒⠒⠈⠕⠻", "\\overleftarrow": "⠣⠫⠪⠒⠒⠻", diff --git a/support/latex2nemeth/encodings/polytonic.json b/support/latex2nemeth/encodings/polytonic.json index 4d3627d451..697fc3fbea 100644 --- a/support/latex2nemeth/encodings/polytonic.json +++ b/support/latex2nemeth/encodings/polytonic.json @@ -1,11 +1,12 @@ { "letters": { - "\\&":"⠸⠯", + "\\&":"⠸⠯", "\\$": "⠈⠎", ".": "\u2832", ",": "\u2802", ";": "\u2822", "'": "\u2804", + "\u2019":"\u2804", "«": "\u2826", "»": "\u2834", "(": "\u2837", @@ -22,7 +23,7 @@ "*": "\u2808\u283c", "@": "\u2808\u2801\u281e", "\\euro": "\u2808\u2811", - "+": "\u282e", + "+": "\u282e", "-": "\u2824", "=": " \u282d ", "\\backslash": "\u2838\u2821", @@ -47,6 +48,78 @@ "\\varsupsetneq": "⠸⠨⠂⠌⠱", "\\#": "\u2828\u283c", "\\ ": " ", + "\\,": "\u2802", + "--": "\u2824\u2824", + "---": "\u2824\u2824\u2824", + "/": "\u280c", + "\\\n": " ", + " ": " ", + "\\quad": " ", + "\\qquad": " ", + "\"": "\u2834\u2804", + "NUMBER-SYMBOL": "\u283c", + "0": "\u2834", + "1": "\u2802", + "2": "\u2806", + "3": "\u2812", + "4": "\u2832", + "5": "\u2822", + "6": "\u2816", + "7": "\u2836", + "8": "\u2826", + "9": "\u2814", + "a": "\u2801", + "b": "\u2803", + "c": "\u2809", + "d": "\u2819", + "e": "\u2811", + "f": "\u280b", + "g": "\u281b", + "h": "\u2813", + "i": "\u280a", + "j": "\u281a", + "k": "\u2805", + "l": "\u2807", + "m": "\u280d", + "n": "\u281d", + "o": "\u2815", + "p": "\u280f", + "q": "\u281f", + "r": "\u2817", + "s": "\u280e", + "t": "\u281e", + "u": "\u2825", + "v": "\u2827", + "w": "\u283a", + "x": "\u282d", + "y": "\u283d", + "z": "\u2835", + "A": "\u2820\u2801", + "B": "\u2820\u2803", + "C": "\u2820\u2809", + "D": "\u2820\u2819", + "E": "\u2820\u2811", + "F": "\u2820\u280b", + "G": "\u2820\u281b", + "H": "\u2820\u2813", + "I": "\u2820\u280a", + "J": "\u2820\u281a", + "K": "\u2820\u2805", + "L": "\u2820\u2807", + "M": "\u2820\u280d", + "N": "\u2820\u281d", + "O": "\u2820\u2815", + "P": "\u2820\u280f", + "Q": "\u2820\u281f", + "R": "\u2820\u2817", + "S": "\u2820\u280e", + "T": "\u2820\u281e", + "U": "\u2820\u2825", + "V": "\u2820\u2827", + "W": "\u2820\u283a", + "X": "\u2820\u282d", + "Y": "\u2820\u283d", + "Z": "\u2820\u2835", "e-grave": "\u282e", "e-accent": "\u283f", "EN": "\u2830", @@ -622,7 +695,7 @@ "/": "⠌", "?": "⠸⠦", "`": "\u2820\u2826", -"'": "\u2834\u2804", +"'": "\u2834\u2804"}, "mathSymbols": { "NUMBER-SYMBOL": "\u283c", "0": "\u2834", @@ -775,6 +848,10 @@ "\\max": "\u280d\u2801\u282d", "\\sup": "\u280e\u2825\u280f", " ": " ", + ".": "\u2832", + "\\mod":" \u280d\u2815\u2819 ", + "\\bmod":" \u280d\u2815\u2819 ", + "\\pmod":"\u280d\u2815\u2819 ", "\\qquad": " ", "\\quad": " ", "\\;": " ", @@ -787,10 +864,11 @@ "-": "\u2824", "*": "\u2808\u283c", "/": "\u280c", - "=": "\u2828\u2805", + "=": " \u2828\u2805 ", "!": "\u2816", "--": "\u2824\u2824", "---": "\u2824\u2824\u2824", + "\\&": "\u2838\u282f", ",": "\u2820", ";": "\u2822", "(": "\u2837", @@ -799,6 +877,17 @@ "]": "\u2808\u283e", "\\left(": "\u2820\u2837", "\\right)": "\u2820\u283e", + "\\big": "\u2820", + "\\bigg": "\u2820", + "\\bigl": "\u2820", + "\\bigm": "\u2820", + "\\Big": "\u2820", + "\\Bigm": "\u2820", + "\\Bigg": "\u2820", + "\\lvert": "\u2833", + "\\rvert": "\u2833", + "\\lVert": "\u2833\u2833", + "\\rVert": "\u2833\u2833", "\\bigl(": "\u2820\u2837", "\\Bigl(": "\u2820\u2837", "\\biggl(": "\u2820\u2837", @@ -817,6 +906,10 @@ "\\hspace*": " ", "\\left[": "\u2808\u2820\u2837", "\\right]": "\u2808\u2820\u283e", + "\\big[": "\u2808\u2820\u2837", + "\\big]": "\u2808\u2820\u283e", + "\\bigg[": "\u2808\u2820\u2837", + "\\bigg]": "\u2808\u2820\u283e", "\\bigl[": "\u2808\u2820\u2837", "\\Bigl[": "\u2808\u2820\u2837", "\\biggl[": "\u2808\u2820\u2837", @@ -827,22 +920,39 @@ "\\Biggr]": "\u2808\u2820\u283e", "\\setminus": "\u2838\u2821", "\\sum": "\u2828\u2820\u280e", + "\\sum@": "\u2828\u2820\u280e", + "\\varinjlim": "⠇⠊⠍⠩⠫⠕⠻", + "\\varinjlim@": "⠇⠊⠍⠩⠫⠕⠻", + "\\varprojlim":"⠇⠊⠍⠩⠫⠪⠒⠒⠻", + "\\varprojlim@":"⠇⠊⠍⠩⠫⠪⠒⠒⠻", "\\bigcap": "\u2828\u2829", + "\\bigcap@": "\u2828\u2829", + "\\bigodot": "\u282b\u2809\u2838\u282b\u2821\u283b", + "\\bigodot@": "\u282b\u2809\u2838\u282b\u2821\u283b", + "\\int": "\u282e", "\\oint": "\u282e\u2808\u282b\u2809\u283b", "\\prod": "\u2828\u2820\u280f", + "\\prod@": "\u2828\u2820\u280f", "\\bigcup": "\u2828\u282c", + "\\bigcup@": "\u2828\u282c", "\\bigotimes": "\u282b\u2809\u2838\u282b\u2808\u2821\u283b", + "\\bigotimes@": "\u282b\u2809\u2838\u282b\u2808\u2821\u283b", "\\bigvee": "\u2808\u282c", + "\\bigvee@": "\u2808\u282c", "\\bigwedge": "\u2808\u2829", + "\\bigwedge@": "\u2808\u2829", "\\coprod": "⠫⠨⠠⠏⠻", + "\\coprod@": "⠫⠨⠠⠏⠻", + "@": "\u2808\u2801\u281e", "\\ddag": "\u2838\u2838\u283b", "\\textstirling": "\u2808\u2807", "\\SS": "\u2820\u280e\u2820\u280e", "\\lq": "\u2820\u2826", "`": "\u2820\u2826", + "'": "\u2834\u2804", "\\leftquote": "\u2820\u2826", "\\rq": "\u2834\u2804", "\\rightquote": "\u2834\u2804", @@ -853,7 +963,7 @@ "\\barlambda": "\u2808\u2828\u2807", "\\$": "\u2808\u280e", "\\bigoplus": "\u282b\u2809\u2838\u282b\u282c\u283b", - "\\biguplus": "\u2828\u282c\u2838\u282b\u282c\u283b", + "\\biguplus@": "\u2828\u282c\u2838\u282b\u282c\u283b", "\\bigl\\|": "\u2820\u2833", "\\bigr\\|": "\u2820\u2833", "\\bigl|": "\u2820\u2833", @@ -866,6 +976,7 @@ "\\biggr|": "\u2820\u2833", "\\Biggl|": "\u2820\u2833", "\\Biggr|": "\u2820\u2833", + "\\uparrow": "\u282b\u2823\u2812\u2812\u2815", "\\{": "\u2828\u2837", "\\left\\{": "\u2828\u2820\u2837", "\\bigl\\{": "\u2828\u2820\u2837", @@ -883,6 +994,7 @@ "\\Bigm|": "\u2820\u2833", "\\biggm|": "\u2820\u2833", "\\Biggm|": "\u2820\u2833", + "\\Uparrow": "\u282b\u2823\u2836\u2836\u2815", "\\}": "\u2828\u283e", "\\right\\}": "\u2828\u2820\u283e", "\\bigr\\}": "\u2828\u2820\u283e", @@ -901,6 +1013,7 @@ "\\right\\|": "\u2820\u2833\u2820\u2833", "\\big\\|": "\u2820\u2833\u2820\u2833", "\\Big\\|": "\u2820\u2833\u2820\u2833", + "\\Bigm\\|": "\u2820\u2833\u2820\u2833", "\\bigg\\|": "\u2820\u2833\u2820\u2833", "\\Bigg\\|": "\u2820\u2833\u2820\u2833", "\\big(": "\u2820\u2837", @@ -913,7 +1026,11 @@ "\\bigg\\}": "\u2820\u2833\u2820\u2833", "\\big|": "\u2820\u2833\u2820\u2833", "\\bigg|": "\u2820\u2833\u2820\u2833", + "\\downarrow": "\u282b\u2829\u2812\u2812\u2815", + "\\updownarrow": "\u282b\u2823\u282a\u2812\u2812\u2815", "\\lceil": "\u2808\u2818\u2837", + "\\Downarrow": "\u282b\u2829\u2836\u2836\u2815", + "\\Updownarrow": "\u282b\u2829\u282a\u2836\u2836\u2815", "\\rceil": "\u2808\u2818\u283e", "\\ulcorner": "\u2808\u2818\u2837", "\\left\\ulcorner": "\u2808\u2818\u2820\u2837", @@ -967,7 +1084,9 @@ "\\varpi": "\u2828\u2808\u280f", "\\varsigma": "\u2828\u2808\u280e", "\\varphi": "\u2828\u2808\u280b", + "\\Theta": "\u2828\u2820\u2839", "\\Sigma" : "\u2828\u2820\u280e", + "\\Omega": "\u2828\u2820\u283a", "\\delta": "\u2828\u2819", "\\eta": "\u2828\u2831", "\\kappa": "\u2828\u2805", @@ -1039,6 +1158,7 @@ "\\hookleftarrow": "\u282b\u282a\u2812\u2812\u2808\u283d", "\\leftharpoonup": "\u282b\u2808\u282a\u2812\u2812", "\\leftharpoondown": "\u282b\u2820\u282a\u2812\u2812", + "\\leadsto": "\u282b\u2814\u2812\u2822\u2815", "\\longleftarrow": "\u282b\u282a\u2812\u2812", "\\Longleftarrow": "\u282b\u282a\u2812\u2812", "\\longrightarrow": "\u282b\u2812\u2812\u2815", @@ -1098,7 +1218,9 @@ "\\subset": "\u2838\u2810\u2805", "\\subseteq": "\u2838\u2810\u2805\u2831", "\\in": "\u2808\u2811", + "\\vdash": "\u282b\u2833\u2812\u2812", "\\geq": "\u2828\u2802\u2831", + "\\ge": "\u2828\u2802\u2831", "\\succ": "\u2828\u2828\u2802", "\\succeq": "\u2828\u2828\u2802\u2831", "\\gg": "\u2828\u2802\u2808\u2828\u2802\u283b", @@ -1112,18 +1234,19 @@ "\\asymp": "\u282b\u2801\u282b\u2804", "\\approx": "\u2808\u2831\u2808\u2831", "\\cong": "\u2808\u2831\u2828\u2805", - "\\neq": "\u280c\u2828\u2805", - "\\ne": "\u280c\u2828\u2805", + "\\neq": " \u280c\u2828\u2805 ", + "\\ne": " \u280c\u2828\u2805 ", "\\not": "\u280c", + "\\doteq": "\u2810\u2828\u2805\u2823\u2821\u283b", "\\propto": "\u2838\u283f", - "<": "\u2810\u2805", + "<": " \u2810\u2805 ", "\\models": "\u282b\u2833\u2836", "\\perp": "\u282b\u280f", "\\mid": "\u2833", "\\parallel": "\u282b\u2807", "\\smile": "\u282b\u2804", "\\frown": "\u282b\u2801", - ">": "\u2828\u2802", + ">": " \u2828\u2802 ", "\\leqq": "\u2810\u2805\u2828\u2805", "\\lesssim": "\u2810\u2805\u2808\u2831", "\\lessdot": "\u2810\u2805\u2838\u282b\u2821\u283b", @@ -1146,6 +1269,7 @@ "\\lesseqqgtr": "\u2810\u2805\u2828\u2805\u2828\u2802", "\\subseteqq": "\u2838\u2810\u2805\u2828\u2805", "\\precapprox": "\u2828\u2810\u2805\u2808\u2831\u2808\u2831", + "\\vDash": "\u282b\u2833\u2836\u2836", "\\smallfrown": "\u282b\u2801", "\\geqq": "\u2828\u2802\u2828\u2805", "\\gtrsim": "\u2828\u2802\u2808\u2831", @@ -1154,11 +1278,15 @@ "\\triangleq": "\u2810\u2828\u2805\u2823\u282b\u281e\u283b", "\\supseteqq": "\u2838\u2828\u2802\u2828\u2805", "\\succapprox": "\u2828\u2828\u2802\u2808\u2831\u2808\u2831", + "\\Vdash": "\u282b\u2833\u2833\u2812\u2812", + "\\blacktriangleleft": "\u282b\u2838", + "\\blacktriangleright": "\u282b\u2838", "\\eqslantless": "\u2831\u2810\u2805", "\\approxeq": "\u2808\u2831\u2808\u2831\u2831", "\\lessgtr": "\u2810\u2805\u2828\u2802", "\\doteqdot": "\u2810\u2828\u2805\u2829\u2821\u2823\u2821\u283b", "\\Subset": "\u2838\u2810\u2805\u2838\u282b\u2838\u2810\u2805\u283b", + "\\Vvdash": "\u282b\u2833\u2833\u2833\u2812\u2812", "\\geqslant": "\u2828\u2802\u2831", "\\gtrapprox": "\u2828\u2802\u2808\u2831\u2808\u2831", "\\gtrless": "\u2828\u2802\u2810\u2805", @@ -1180,12 +1308,15 @@ "\\gnapprox": "\u2828\u2802\u280c\u2808\u2831\u2808\u2831", "\\succnsim": "\u2828\u2828\u2802\u280c\u2808\u2831", "\\nshortparallel": "\u280c\u282b\u2807", + "\\nVDash": "\u280c\u282b\u2833\u2833\u2812\u2812", "\\nsupseteq": "\u280c\u2838\u2828\u2802\u2831", "\\varsupsetneq": "\u2838\u2828\u2802\u280c\u2831", "\\nleq": "\u280c\u2810\u2805\u2831", "\\lneq": "\u2810\u2805\u280c\u2831", "\\lnsim": "\u2810\u2805\u280c\u2808\u2831", "\\npreceq": "\u280c\u2828\u2810\u2805\u2831", + "\\nsim": "\u280c\u2808\u2831", + "\\nvdash": "\u280c\u282b\u2833\u2812\u2812", "\\varsubsetneq": "\u2838\u2810\u2805\u280c\u2831", "\\ngtr": "\u280c\u2828\u2802", "\\ngeqq": "\u280c\u2828\u2802\u2828\u2805", @@ -1200,6 +1331,7 @@ "\\lnapprox": "\u2810\u2805\u280c\u2808\u2831\u2808\u2831", "\\precnsim": "\u2828\u2810\u2805\u280c\u2808\u2831", "\\nshortmid": "\u280c\u2833", + "\\nvDash": "\u280c\u282b\u2833\u2836\u2836", "\\nsubseteq": "\u280c\u2838\u2810\u2805\u2831", "\\subsetneqq": "\u2838\u2810\u2805\u280c\u2828\u2805", "\\ngeq": "\u280c\u2828\u2802\u2831", @@ -1221,6 +1353,7 @@ "\\cdots": "\u2804\u2804\u2804", "\\prime": "\u2804", "\\emptyset": "\u2838\u2834", + "\\varnothing": "\u2838\u2834", "\\Box": "\u282b\u2832", "\\bot": "\u282b\u280f", "\\angle": "\u282b\u282a", @@ -1233,6 +1366,7 @@ "\\ddots": "\u282b\u2829\u2804\u2804\u2804", "\\infty": "\u2820\u283f", "\\nabla": "\u2828\u282b", + "\\Diamond": "\u282b\u2819", "\\neg": "\u282b\u2812\u2812\u2820\u2833", "\\sharp": "\u2828\u283c", "\\Re": "\u2820\u2817\u2811", @@ -1291,6 +1425,7 @@ "\\ointclockwise": "\u282e\u2808\u282b\u282a\u2822\u2814\u283b", "\\sqint": "\u282e\u2808\u282b\u2832\u283b", "\\fint": "\u280c\u282e", + "\\iiiint": "\u282e\u282e\u282e\u282e", "\\oiintclockwise": "\u282e\u282e\u2808\u282b\u282a\u2822\u2814\u283b", "\\oiiintctrclockwise": "\u282e\u282e\u282e\u2808\u282b\u2822\u2814\u2815\u283b", "\\varoiiintclockwise": "\u282e\u282e\u282e\u2808\u282b\u282a\u2822\u2814\u283b", @@ -1341,6 +1476,8 @@ "\\Swarrow": "\u282b\u2830\u282a\u2836\u2836", "\\leadsto": "\u282b\u2814\u2812\u2822\u2815", "\\boxdotright": "\u282b\u2832\u2838\u2821\u283b\u282b\u2815", + "\\xleftarrow":"⠫⠪⠒⠒", + "\\xrightarrow":"⠫⠒⠒⠕", "\\Diamondleft": "\u282b\u282a\u282b\u2819", "\\boxRight": "\u282b\u2832\u282b\u2836\u2836\u2815", "\\boxdotLeft": "\u282b\u282a\u2836\u2836\u282b\u2832\u2838\u282b\u2821\u283b", @@ -1358,6 +1495,7 @@ "\\Colonsim": "\u2806\u2806\u2808\u2831", "\\multimapboth": "\u282b\u2828\u2821\u2812\u2812\u2828\u2821", "\\multimapdotboth": "\u282b\u2821\u2812\u2812\u2821", + "\\Vdash": "\u282b\u2833\u2833\u2836\u2836", "\\preceqq": "\u2828\u2810\u2805\u2828\u2805", "\\nsuccsim": "\u280c\u2828\u2828\u2802\u2808\u2831", "\\nlessapprox": "\u280c\u2810\u2805\u2808\u2831\u2808\u2831", @@ -1382,6 +1520,7 @@ "\\doteq": "\u2810\u2828\u2805\u2823\u2821\u283b", "\\multimapdot": "\u282b\u2812\u2812\u2821", "\\multimapdotbothA": "\u282b\u2828\u2821\u2812\u2812\u2821", + "\\VvDash": "\u282b\u2833\u2833\u2833\u2836\u2836", "\\succeqq": "\u2828\u2828\u2802\u2828\u2805", "\\nlesssim": "\u280c\u2810\u2805\u2808\u2831", "\\ngtrapprox": "\u280c\u2828\u2802\u2808\u2831\u2808\u2831", @@ -1440,7 +1579,9 @@ "'": "\u2804", "{": "", "}": "", + "\\nobreakdash" : "", "\\displaystyle": "", + "\\displaylimits": "", "\\tilde": "\u2808\u2831", "\\widetilde-begin": "\u2810", "\\widetilde-end": "\u2823\u2808\u2820\u2831", @@ -1461,7 +1602,10 @@ "\\sqcup": "⠈⠨⠬", "\\sqcap": "⠈⠨⠩", "\\bigsqcup": "⠈⠨⠬", + "\\bigsqcup@": "⠈⠨⠬", "\\bigsqcap": "⠈⠨⠩", + "\\bigsqcap@": "⠈⠨⠩", + "\\wr": "", "\\trangleleft": "⠫⠐⠅⠇⠻", "\\triangleright": "⠫⠸⠨⠂⠻", "\\lhd": "⠫⠐⠅⠇⠻", @@ -1470,8 +1614,10 @@ "\\unrhd": "⠫⠸⠨⠂⠱⠻", "\\amalg": "⠫⠨⠏⠻", "\\ltimes": "⠫⠸⠈⠡⠻", + "\\rightthreetimes": "", "\\rtimes": "⠫⠈⠡⠇⠻", "\\curlywedge": "⠫⠈⠩⠻", + "\\leftthreetimes": "", "\\curlyvee": "⠫⠈⠬⠻", "\\sqsubset": "⠈⠸⠐⠅", "\\sqsubseteq": "⠈⠸⠐⠅⠱", @@ -1480,9 +1626,11 @@ "\\bowtie": "⠫⠳⠈⠡⠳⠻", "\\Join": "⠫⠸⠈⠡⠇⠻", "\\lrJoin": "⠫⠸⠈⠡⠇⠻", + "\\risingdotseq": "", "\\backsimeq": "⠈⠈⠱⠱", "\\tianglelefteq": "⠫⠐⠅⠇⠱⠻", "\\trianglerighteq": "⠫⠸⠨⠂⠱⠻", + "\\fallingdotseq": "", "\\preccurlyeq": "⠫⠨⠐⠅⠱⠻", "\\succcurlyeq": "⠫⠨⠨⠂⠱⠻", "\\between": "⠷⠈⠾", @@ -1505,6 +1653,7 @@ "\\eth": "⠫⠌⠈⠙⠻", "\\triangledown": "⠨⠫", "\\Game": "⠫⠠⠛⠻", + "\\Wr": "", "\\sqcupplus": "⠈⠨⠬⠸⠫⠬⠻", "\\invamp": "⠫⠯⠻", "\\sqcapplus": "⠈⠨⠩⠸⠫⠬⠻", @@ -1514,6 +1663,7 @@ "\\nsqsubset": "⠌⠈⠸⠐⠅", "\\nsqsupset": "⠌⠈⠸⠨⠂", "\\nsucccurlyeq": "⠌⠫⠨⠨⠂⠱⠻", + "\\nbacksim": "⠌⠈⠈⠱", "\\nsqsubseteq": "⠌⠈⠸⠐⠅⠱", "\\lJoin": "⠫⠸⠈⠡⠻", "\\openJoin": "⠈⠡", @@ -1539,11 +1689,15 @@ "\\eqcirc": "⠨⠡⠈⠨⠅⠻", "\\gneqq": "⠐⠨⠅⠣⠨⠡⠻", "\\trianglelefteq": "⠫⠐⠅⠇⠱⠻", - "\\multimapdotbothAvert": "⠫⠣⠡⠒⠒⠨⠡", + "\\VDash": "⠫⠳⠳⠒⠒", + "\\multimapdotbothAvert": "⠫⠣⠡⠒⠒⠨⠡", "\\underset": "\u2829", "\\overset" : "\u2823", "\\inline" : "", "\\dotsb" : "\u2804\u2804\u2804", + "\\dotsm" : "\u2804\u2804\u2804", + "\\dotsi" : "\u2804\u2804\u2804", + "\\dotso" : "\u2804\u2804\u2804", "_comment1": "mathalpha", "\\matheth": "⠫⠌⠈⠙⠻", "\\mupAlpha": "⠨⠠⠁", @@ -3860,12 +4014,49 @@ "\\mathsemicolon": "⠢", "\\decimalpoint": "⠨", "\\mathdecimalpoint": "⠨", - - "_comment12": "mathunder" +"\\overbar": "⠱", +"\\ovhook": "⠣⠦", +"\\ocirc": "⠣⠨⠡", +"\\candra": "⠣⠫⠄⠣⠸⠡⠻", +"\\oturnedcomma": "⠣⠈⠲", +"\\ocommatopright": "⠣⠲", +"\\droang": "⠣⠫⠒⠒⠠⠳⠻", +"\\leftharpoonaccent": "⠫⠈⠪⠒⠒⠻", +"\\rightharpoonaccent": "⠫⠒⠒⠈⠕⠻", +"\\vertoverlay": "⠳⠈", +"\\dddot": "⠣⠡⠡⠡⠻", +"\\ddddot": "⠣⠡⠡⠡⠡⠻", +"\\annuity": "⠣⠈⠘⠾", +"\\widebridgeabove": "⠣⠫⠠⠳⠒⠒⠠⠳⠻", +"\\asteraccent": "⠣⠈⠼ ", +"\\notaccent": "⠌", +"\\widetilde": "⠈⠱", +"\\wideoverbar": "⠱", +"\\widebreve": "⠣⠸⠩", +"\\widecheck": "⠣⠈⠸⠣", +"\\overleftharpoon": "⠣⠫⠈⠪⠒⠒⠻", +"\\overrightharpoon": "⠣⠫⠒⠒⠈⠕⠻", +"\\overleftarrow": "⠣⠫⠪⠒⠒⠻", +"\\overrightarrow": "⠣⠫⠕⠻", +"\\overleftrightarrow": "⠣⠫⠪⠒⠒⠕⠻", +"\\threeunderdot": "⠩⠡⠡⠡⠻", +"\\mathunderbar": "⠩⠱", +"\\wideutilde": "⠩⠈⠱", +"\\underleftrightarrow": "⠩⠫⠪⠒⠒⠕⠻", +"\\underrightharpoondown": "⠩⠫⠒⠒⠠⠕⠻", +"\\underleftharpoondown": "⠩⠫⠠⠪⠒⠒⠻", +"\\underleftarrow": "⠩⠫⠪⠒⠒⠻", +"\\underrightarrow": "⠩⠫⠕⠻", +"\\longdivision": "⠕⠣⠒⠒⠻", +"\\overbracket": "⠣⠈⠷", +"\\overparen": "⠣⠷", +"\\underbracket": "⠩⠈⠾", +"\\underparen": "⠩⠾", + "_comment12": "mathunder" }, "theoremSymbols": { ".": "\u2828", - "NUMBER-SYMBOL": "\u283c", + "NUMBER-SYMBOL": "\u283c", "0": "\u2834", "1": "\u2802", "2": "\u2806", diff --git a/support/latex2nemeth/latex2nemeth b/support/latex2nemeth/latex2nemeth old mode 100755 new mode 100644 -- cgit v1.2.3