summaryrefslogtreecommitdiff
path: root/support
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-12-14 03:01:10 +0000
committerNorbert Preining <norbert@preining.info>2022-12-14 03:01:10 +0000
commit4a68164a544897aa6fc54b5eb61b23135e44d4df (patch)
tree73f3a85754eb5c5bea7e0ea5986b135a8d5236bf /support
parent7b8bd496c62a5a8e18fb7a038217d4118c02b1e2 (diff)
CTAN sync 202212140301
Diffstat (limited to 'support')
-rw-r--r--support/TeX4ht/source/ChangeLog9
-rw-r--r--support/TeX4ht/source/tex4ht-4ht.tex4
-rw-r--r--support/TeX4ht/source/tex4ht-mathml.tex9
-rw-r--r--support/latex2nemeth/README11
-rw-r--r--[-rwxr-xr-x]support/latex2nemeth/contrib/nemeth2odt0
-rw-r--r--support/latex2nemeth/encodings/nemeth.json2
-rw-r--r--support/latex2nemeth/encodings/polytonic.json217
-rw-r--r--[-rwxr-xr-x]support/latex2nemeth/latex2nemeth0
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