CTAN sync 202212140301

8 files changed, 234 insertions, 18 deletions

diff --git a/support/TeX4ht/source/ChangeLog b/support/TeX4ht/source/ChangeLog
index d0d814e916..df6a756f2f 100644
--- a/support/TeX4ht/source/ChangeLog
+++ b/support/TeX4ht/source/ChangeLog
@@ -1,3 +1,12 @@
+2022-12-12  Michal Hoftich  <michal.h21@gmail.com>
+
+	* tex4ht-mathml.tex (mathml.4ht): added support for the \bf command.
+	https://github.com/michal-h21/make4ht/issues/98
+
+2022-12-11  Karl Berry  <karl@freefriends.org>
+
+	* tex4ht-4ht.tex (pdfbase-hooks.4ht): copyright 2022.
+
 2022-12-10  Michal Hoftich  <michal.h21@gmail.com>
 
 	* tex4ht-4ht.tex (pdfbase-hooks.4ht): fixed handling of Pdfbase
diff --git a/support/TeX4ht/source/tex4ht-4ht.tex b/support/TeX4ht/source/tex4ht-4ht.tex
index 2b3f41fe89..f1288840d1 100644
--- a/support/TeX4ht/source/tex4ht-4ht.tex
+++ b/support/TeX4ht/source/tex4ht-4ht.tex
@@ -1,4 +1,4 @@
-% $Id: tex4ht-4ht.tex 1263 2022-12-10 21:08:00Z michal_h21 $
+% $Id: tex4ht-4ht.tex 1264 2022-12-11 15:00:58Z karl $
 % tex tex4ht-4ht   or   ht tex tex4ht-4ht
 %
 % Copyright 2009-2022 TeX Users Group    
@@ -4887,7 +4887,7 @@ The pdfbase package redefines \`|\@outputpage| macro, which causes tex4ht patche
 
 \<pdfbase-hooks.4ht\><<<
 % pdfbase-hooks.4ht (|version), generated from |jobname.tex
-% Copyright 2020 TeX Users Group
+% Copyright 2020-2022 TeX Users Group
 |<TeX4ht license text|>
 \:AtEndOfPackage{%
   \expandafter\let\expandafter\@outputpage\csname pbs_outputpage_orig:\endcsname
diff --git a/support/TeX4ht/source/tex4ht-mathml.tex b/support/TeX4ht/source/tex4ht-mathml.tex
index ea2fafd283..08675b614f 100644
--- a/support/TeX4ht/source/tex4ht-mathml.tex
+++ b/support/TeX4ht/source/tex4ht-mathml.tex
@@ -1,4 +1,4 @@
-% $Id: tex4ht-mathml.tex 1238 2022-11-16 15:55:23Z michal_h21 $$
+% $Id: tex4ht-mathml.tex 1265 2022-12-12 10:25:54Z michal_h21 $$
 % compile 3 times: latex tex4ht-mathltx
 %           or   xhlatex tex4ht-mathltx "html,3,sections+"
 %
@@ -1696,7 +1696,14 @@ Use variant of original LaTeX macro used in \textunderscore
    {}%
 >>>
 
+The bf command should work in math. The following definition is a bit fragile, it expects
+that it is used inside a group for a small chunk of text.
 
+\<mathml fonts\><<<
+\def\:closebf{\HCode{</\a:mathml mi>}\EndPauseMathClass}
+\def\:tempa{\ifmmode\expandafter\@firstoftwo\else\expandafter\@secondoftwo\fi{\PauseMathClass\HCode{<\a:mathml mi mathvariant="bold">}\aftergroup\:closebf}{\o:bf:}}
+\HLet\bf\:tempa
+>>>
 
 
 \<configure html-mml latex\><<<
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
index 9777f9322f..9777f9322f 100755..100644
--- a/support/latex2nemeth/contrib/nemeth2odt
+++ b/support/latex2nemeth/contrib/nemeth2odt
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
index 9aa230a9ad..9aa230a9ad 100755..100644
--- a/support/latex2nemeth/latex2nemeth
+++ b/support/latex2nemeth/latex2nemeth