mathpix-markdown-it 1.0.79 → 1.0.81

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (54) hide show
  1. package/.idea/workspace.xml +528 -609
  2. package/README.md +38 -0
  3. package/assets/mmd-image-properties.webp +0 -0
  4. package/doc/images/theorem_01.png +0 -0
  5. package/doc/images/theorem_02.png +0 -0
  6. package/doc/images/theorem_03.png +0 -0
  7. package/doc/images/theorem_04.png +0 -0
  8. package/doc/images/theorem_05.png +0 -0
  9. package/doc/images/theorem_06.png +0 -0
  10. package/doc/images/theorem_07.png +0 -0
  11. package/doc/images/theorems_and_proofs.png +0 -0
  12. package/doc/theorems.md +265 -0
  13. package/es5/bundle.js +1 -1
  14. package/es5/index.js +1 -1
  15. package/lib/components/mathpix-markdown/index.js +4 -2
  16. package/lib/components/mathpix-markdown/index.js.map +1 -1
  17. package/lib/markdown/common/consts.d.ts +20 -0
  18. package/lib/markdown/common/consts.js +60 -1
  19. package/lib/markdown/common/consts.js.map +1 -1
  20. package/lib/markdown/index.js +4 -2
  21. package/lib/markdown/index.js.map +1 -1
  22. package/lib/markdown/mathpix-markdown-plugins.js +7 -4
  23. package/lib/markdown/mathpix-markdown-plugins.js.map +1 -1
  24. package/lib/markdown/md-block-rule/begin-table.js +5 -6
  25. package/lib/markdown/md-block-rule/begin-table.js.map +1 -1
  26. package/lib/markdown/md-block-rule/helper.d.ts +1 -0
  27. package/lib/markdown/md-block-rule/helper.js +35 -0
  28. package/lib/markdown/md-block-rule/helper.js.map +1 -0
  29. package/lib/markdown/md-block-rule/lists/index.js +4 -18
  30. package/lib/markdown/md-block-rule/lists/index.js.map +1 -1
  31. package/lib/markdown/md-theorem/block-rule.d.ts +4 -0
  32. package/lib/markdown/md-theorem/block-rule.js +405 -0
  33. package/lib/markdown/md-theorem/block-rule.js.map +1 -0
  34. package/lib/markdown/md-theorem/helper.d.ts +34 -0
  35. package/lib/markdown/md-theorem/helper.js +251 -0
  36. package/lib/markdown/md-theorem/helper.js.map +1 -0
  37. package/lib/markdown/md-theorem/index.d.ts +18 -0
  38. package/lib/markdown/md-theorem/index.js +180 -0
  39. package/lib/markdown/md-theorem/index.js.map +1 -0
  40. package/lib/markdown/md-theorem/inline-rule.d.ts +23 -0
  41. package/lib/markdown/md-theorem/inline-rule.js +242 -0
  42. package/lib/markdown/md-theorem/inline-rule.js.map +1 -0
  43. package/lib/markdown/mdPluginRaw.js +18 -3
  44. package/lib/markdown/mdPluginRaw.js.map +1 -1
  45. package/lib/markdown/mdPluginTableTabular.js +3 -0
  46. package/lib/markdown/mdPluginTableTabular.js.map +1 -1
  47. package/lib/markdown/mdPluginText.js +7 -0
  48. package/lib/markdown/mdPluginText.js.map +1 -1
  49. package/lib/mathpix-markdown-model/index.d.ts +4 -0
  50. package/lib/mathpix-markdown-model/index.js +4 -2
  51. package/lib/mathpix-markdown-model/index.js.map +1 -1
  52. package/lib/styles/index.js +1 -1
  53. package/lib/styles/index.js.map +1 -1
  54. package/package.json +1 -1
@@ -0,0 +1,251 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.getTheoremNumber = exports.getTheoremNumberByLabel = exports.resetTheoremEnvironments = exports.getTheoremEnvironmentIndex = exports.getTheoremEnvironment = exports.setCounterTheoremEnvironment = exports.addTheoremEnvironment = exports.getNextCounterProof = exports.getEnvironmentsCounterIndex = exports.addEnvironmentsCounter = exports.environmentsCounter = exports.counterProof = exports.envNumbers = exports.theoremEnvironments = void 0;
4
+ var tslib_1 = require("tslib");
5
+ exports.theoremEnvironments = [];
6
+ exports.envNumbers = [];
7
+ exports.counterProof = 0;
8
+ exports.environmentsCounter = [];
9
+ exports.addEnvironmentsCounter = function (data) {
10
+ var index = exports.environmentsCounter.findIndex(function (item) { return item.environment === data.environment; });
11
+ if (index === -1) {
12
+ exports.environmentsCounter.push(data);
13
+ }
14
+ };
15
+ exports.getEnvironmentsCounterIndex = function (environment) {
16
+ return (exports.environmentsCounter === null || exports.environmentsCounter === void 0 ? void 0 : exports.environmentsCounter.length) ? exports.environmentsCounter.findIndex(function (item) { return item.environment === environment; })
17
+ : -1;
18
+ };
19
+ exports.getNextCounterProof = function () {
20
+ exports.counterProof += 1;
21
+ return exports.counterProof;
22
+ };
23
+ exports.addTheoremEnvironment = function (data) {
24
+ var index = exports.theoremEnvironments.findIndex(function (item) { return item.name === data.name; });
25
+ if (index === -1) {
26
+ exports.theoremEnvironments.push(data);
27
+ }
28
+ };
29
+ exports.setCounterTheoremEnvironment = function (envName, num) {
30
+ var _a;
31
+ var envIndex = envName
32
+ ? exports.getTheoremEnvironmentIndex(envName)
33
+ : -1;
34
+ var counterIndex = exports.getEnvironmentsCounterIndex(envName);
35
+ if (envIndex === -1 || counterIndex === -1) {
36
+ return false;
37
+ }
38
+ var envItem = exports.theoremEnvironments[envIndex];
39
+ envItem.counter = num;
40
+ for (var i = 0; i < exports.theoremEnvironments.length; i++) {
41
+ if (exports.theoremEnvironments[i].name === envName && exports.theoremEnvironments[i].lastNumber) {
42
+ var lastNumberArr = exports.theoremEnvironments[i].lastNumber.split(".");
43
+ exports.theoremEnvironments[i].lastNumber = (lastNumberArr === null || lastNumberArr === void 0 ? void 0 : lastNumberArr.length) > 1
44
+ ? lastNumberArr.slice(0, lastNumberArr.length - 1).join(".") + '.' + num.toString()
45
+ : num.toString();
46
+ }
47
+ if ((_a = exports.theoremEnvironments[i].parents) === null || _a === void 0 ? void 0 : _a.length) {
48
+ for (var j = 0; j < exports.theoremEnvironments[i].parents.length; j++) {
49
+ var item = exports.theoremEnvironments[i].parents[j];
50
+ if (item.env === envName) {
51
+ item.num = num;
52
+ }
53
+ }
54
+ exports.theoremEnvironments[i].parentNumber = getParentNumber(exports.theoremEnvironments[i].parents);
55
+ }
56
+ }
57
+ exports.environmentsCounter[counterIndex].counter = num;
58
+ return true;
59
+ };
60
+ exports.getTheoremEnvironment = function (name) {
61
+ return (exports.theoremEnvironments === null || exports.theoremEnvironments === void 0 ? void 0 : exports.theoremEnvironments.length) ? exports.theoremEnvironments.find(function (item) { return item.name === name; })
62
+ : null;
63
+ };
64
+ exports.getTheoremEnvironmentIndex = function (name) {
65
+ return (exports.theoremEnvironments === null || exports.theoremEnvironments === void 0 ? void 0 : exports.theoremEnvironments.length) ? exports.theoremEnvironments.findIndex(function (item) { return item.name === name; })
66
+ : -1;
67
+ };
68
+ exports.resetTheoremEnvironments = function () {
69
+ exports.theoremEnvironments = [];
70
+ exports.environmentsCounter = [];
71
+ };
72
+ exports.getTheoremNumberByLabel = function (envLabel) {
73
+ var index = exports.envNumbers.findIndex(function (item) { return item.label === envLabel; });
74
+ if (index === -1) {
75
+ return '';
76
+ }
77
+ return exports.envNumbers[index].number;
78
+ };
79
+ var addParentsTheoremEnvironment = function (parentsArr, parents) {
80
+ if (!(parentsArr === null || parentsArr === void 0 ? void 0 : parentsArr.length)) {
81
+ return parentsArr = parentsArr.concat(parents);
82
+ }
83
+ var _loop_1 = function (i) {
84
+ var parent_1 = parents[i];
85
+ var index = parentsArr.findIndex(function (item) { return item.env === parent_1.env; });
86
+ if (index === -1) {
87
+ parentsArr.push(parent_1);
88
+ }
89
+ else {
90
+ parentsArr[index].num = parent_1.num;
91
+ }
92
+ };
93
+ for (var i = 0; i < parents.length; i++) {
94
+ _loop_1(i);
95
+ }
96
+ return parentsArr;
97
+ };
98
+ var getParentNumber = function (parentsArr) {
99
+ if (!parentsArr || !(parentsArr === null || parentsArr === void 0 ? void 0 : parentsArr.length)) {
100
+ return '';
101
+ }
102
+ var res = '';
103
+ for (var i = 0; i < parentsArr.length; i++) {
104
+ res += res ? '.' : '';
105
+ res += parentsArr[i].num.toString();
106
+ }
107
+ return res;
108
+ };
109
+ var getTheoremParentNumber = function (counterName, env, parentsArr) {
110
+ var parentNum = "";
111
+ switch (counterName) {
112
+ case "section":
113
+ parentNum = (env === null || env === void 0 ? void 0 : env.section) ? env.section.toString() : "0";
114
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{ env: "section", num: (env === null || env === void 0 ? void 0 : env.section) ? env === null || env === void 0 ? void 0 : env.section : 0 }]);
115
+ break;
116
+ case "subsection":
117
+ parentNum = (env === null || env === void 0 ? void 0 : env.section) ? env.section.toString() : "0";
118
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{ env: "section", num: (env === null || env === void 0 ? void 0 : env.section) ? env === null || env === void 0 ? void 0 : env.section : 0 }]);
119
+ parentNum += ".";
120
+ parentNum += (env === null || env === void 0 ? void 0 : env.subsection) ? env.subsection.toString() : "0";
121
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{ env: "subsection", num: (env === null || env === void 0 ? void 0 : env.subsection) ? env === null || env === void 0 ? void 0 : env.subsection : 0 }]);
122
+ break;
123
+ case "subsubsection":
124
+ parentNum = (env === null || env === void 0 ? void 0 : env.section) ? env.section.toString() : "0";
125
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{ env: "section", num: (env === null || env === void 0 ? void 0 : env.section) ? env === null || env === void 0 ? void 0 : env.section : 0 }]);
126
+ parentNum += ".";
127
+ parentNum += (env === null || env === void 0 ? void 0 : env.subsection) ? env.subsection.toString() : "0";
128
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{ env: "subsection", num: (env === null || env === void 0 ? void 0 : env.subsection) ? env === null || env === void 0 ? void 0 : env.subsection : 0 }]);
129
+ parentNum += ".";
130
+ parentNum += (env === null || env === void 0 ? void 0 : env.subsubsection) ? env.subsubsection.toString() : "0";
131
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{ env: "subsubsection", num: (env === null || env === void 0 ? void 0 : env.subsubsection) ? env === null || env === void 0 ? void 0 : env.subsubsection : 0 }]);
132
+ break;
133
+ }
134
+ if (!parentNum) {
135
+ /** Find new env */
136
+ var counterItem = exports.getTheoremEnvironment(counterName);
137
+ var num = "";
138
+ var numRes = "";
139
+ numRes += (counterItem === null || counterItem === void 0 ? void 0 : counterItem.hasOwnProperty("lastNumber")) ? "" : numRes ? ".0" : "0";
140
+ var arr = [];
141
+ if (!counterItem || !counterItem.isNumbered) {
142
+ return {
143
+ parentNum: parentNum,
144
+ parentsArr: parentsArr,
145
+ isNotFoundCounter: true
146
+ };
147
+ }
148
+ if (!counterItem.counterName) {
149
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{
150
+ env: counterItem.name,
151
+ num: (counterItem === null || counterItem === void 0 ? void 0 : counterItem.counter) ? counterItem === null || counterItem === void 0 ? void 0 : counterItem.counter : 0
152
+ }]);
153
+ return {
154
+ parentNum: ((counterItem === null || counterItem === void 0 ? void 0 : counterItem.counter) ? counterItem === null || counterItem === void 0 ? void 0 : counterItem.counter : 0).toString(),
155
+ parentsArr: parentsArr,
156
+ isNotFoundCounter: false
157
+ };
158
+ }
159
+ if (counterItem && counterItem.counterName) {
160
+ parentsArr = addParentsTheoremEnvironment(parentsArr, tslib_1.__spread(counterItem.parents));
161
+ }
162
+ while (counterItem && counterItem.counterName && !num) {
163
+ if (counterItem.hasOwnProperty("lastNumber")) {
164
+ num = counterItem.lastNumber;
165
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{
166
+ env: counterItem.name,
167
+ num: (counterItem === null || counterItem === void 0 ? void 0 : counterItem.counter) ? counterItem === null || counterItem === void 0 ? void 0 : counterItem.counter : 0
168
+ }]);
169
+ }
170
+ else {
171
+ numRes += numRes ? ".0" : "0";
172
+ arr.push("0");
173
+ parentsArr = addParentsTheoremEnvironment(parentsArr, [{
174
+ env: counterItem.name,
175
+ num: 0
176
+ }]);
177
+ var data = getTheoremParentNumber(counterItem.counterName, env, tslib_1.__spread(counterItem.parents));
178
+ parentsArr = addParentsTheoremEnvironment(parentsArr, tslib_1.__spread(data.parentsArr));
179
+ num = data.parentNum;
180
+ if (data.isNotFoundCounter) {
181
+ break;
182
+ }
183
+ }
184
+ }
185
+ parentNum = (arr === null || arr === void 0 ? void 0 : arr.length) ? num + '.' + arr.join(".") : num;
186
+ }
187
+ return {
188
+ parentNum: parentNum,
189
+ parentsArr: parentsArr,
190
+ isNotFoundCounter: false
191
+ };
192
+ };
193
+ exports.getTheoremNumber = function (envIndex, env) {
194
+ var envItem = exports.theoremEnvironments[envIndex];
195
+ if (!envItem || !envItem.isNumbered) {
196
+ return "";
197
+ }
198
+ if (envItem.useCounter) {
199
+ var envIndexP = exports.getTheoremEnvironmentIndex(envItem.useCounter);
200
+ var envItemP = exports.theoremEnvironments[envIndexP];
201
+ if (envItemP && envItemP.isNumbered) {
202
+ var data = getTheoremParentNumber(envItemP.counterName, env, tslib_1.__spread(envItemP.parents));
203
+ var parentNum = getParentNumber(data.parentsArr);
204
+ var indexCounter_1 = exports.getEnvironmentsCounterIndex(envItem.useCounter);
205
+ if (parentNum) {
206
+ envItem.parents = data.parentsArr;
207
+ envItem.parentNumber = parentNum;
208
+ exports.environmentsCounter[indexCounter_1].counter += 1;
209
+ envItem.counter = exports.environmentsCounter[indexCounter_1].counter;
210
+ envItem.lastNumber = envItem.parentNumber + '.' + envItem.counter.toString();
211
+ envItemP.counter = envItem.counter;
212
+ envItemP.lastNumber = envItem.lastNumber;
213
+ envItemP.parents = envItem.parents;
214
+ envItemP.parentNumber = envItem.parentNumber;
215
+ return envItem.lastNumber;
216
+ }
217
+ }
218
+ }
219
+ if (envItem.counterName) {
220
+ var data = getTheoremParentNumber(envItem.counterName, env, tslib_1.__spread(envItem.parents));
221
+ var parentNum = getParentNumber(data.parentsArr);
222
+ var indexCounter_2 = exports.getEnvironmentsCounterIndex(envItem.name);
223
+ if (parentNum) {
224
+ if (envItem.parentNumber !== parentNum) {
225
+ envItem.parents = data.parentsArr;
226
+ envItem.parentNumber = parentNum;
227
+ exports.environmentsCounter[indexCounter_2].counter = 1;
228
+ }
229
+ else {
230
+ exports.environmentsCounter[indexCounter_2].counter += 1;
231
+ }
232
+ envItem.counter = exports.environmentsCounter[indexCounter_2].counter;
233
+ envItem.lastNumber = envItem.parentNumber + '.' + envItem.counter.toString();
234
+ return envItem.lastNumber;
235
+ }
236
+ if (indexCounter_2 !== -1) {
237
+ exports.environmentsCounter[indexCounter_2].counter += 1;
238
+ envItem.counter = exports.environmentsCounter[indexCounter_2].counter;
239
+ envItem.lastNumber = envItem.counter.toString();
240
+ return envItem.lastNumber;
241
+ }
242
+ }
243
+ var indexCounter = exports.getEnvironmentsCounterIndex(envItem.name);
244
+ if (indexCounter !== -1) {
245
+ exports.environmentsCounter[indexCounter].counter += 1;
246
+ }
247
+ envItem.counter += 1;
248
+ envItem.lastNumber = envItem.counter.toString();
249
+ return envItem.lastNumber;
250
+ };
251
+ //# sourceMappingURL=helper.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"helper.js","sourceRoot":"","sources":["../../../src/markdown/md-theorem/helper.ts"],"names":[],"mappings":";;;;AAuBW,QAAA,mBAAmB,GAAgC,EAAE,CAAC;AACtD,QAAA,UAAU,GAAG,EAAE,CAAC;AAChB,QAAA,YAAY,GAAG,CAAC,CAAC;AACjB,QAAA,mBAAmB,GAAgC,EAAE,CAAC;AAEpD,QAAA,sBAAsB,GAAG,UAAC,IAA0B;IAC/D,IAAM,KAAK,GAAG,2BAAmB,CAAC,SAAS,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,EAArC,CAAqC,CAAC,CAAC;IAC3F,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE;QAChB,2BAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;KAC/B;AACH,CAAC,CAAC;AAEW,QAAA,2BAA2B,GAAG,UAAC,WAAmB;IAC7D,OAAO,CAAA,2BAAmB,aAAnB,2BAAmB,uBAAnB,2BAAmB,CAAE,MAAM,EAChC,CAAC,CAAC,2BAAmB,CAAC,SAAS,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,WAAW,KAAK,WAAW,EAAhC,CAAgC,CAAC;QACzE,CAAC,CAAC,CAAC,CAAC,CAAA;AACR,CAAC,CAAC;AAEW,QAAA,mBAAmB,GAAG;IACjC,oBAAY,IAAI,CAAC,CAAC;IAClB,OAAO,oBAAY,CAAC;AACtB,CAAC,CAAC;AAEW,QAAA,qBAAqB,GAAG,UAAC,IAAyB;IAC7D,IAAM,KAAK,GAAG,2BAAmB,CAAC,SAAS,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAvB,CAAuB,CAAC,CAAC;IAC7E,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE;QAChB,2BAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;KAC/B;AACH,CAAC,CAAC;AAEW,QAAA,4BAA4B,GAAG,UAAC,OAAe,EAAE,GAAW;;IACvE,IAAM,QAAQ,GAAG,OAAO;QACtB,CAAC,CAAC,kCAA0B,CAAC,OAAO,CAAC;QACrC,CAAC,CAAC,CAAC,CAAC,CAAC;IACP,IAAM,YAAY,GAAG,mCAA2B,CAAC,OAAO,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE;QAC1C,OAAO,KAAK,CAAC;KACd;IACD,IAAM,OAAO,GAAG,2BAAmB,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,CAAC,OAAO,GAAG,GAAG,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACnD,IAAI,2BAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,2BAAmB,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE;YAChF,IAAI,aAAa,GAAG,2BAAmB,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACjE,2BAAmB,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,CAAA,aAAa,aAAb,aAAa,uBAAb,aAAa,CAAE,MAAM,IAAG,CAAC;gBAC5D,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE;gBAClF,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;SACpB;QACD,UAAI,2BAAmB,CAAC,CAAC,CAAC,CAAC,OAAO,0CAAE,MAAM,EAAE;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,2BAAmB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC9D,IAAI,IAAI,GAA+B,2BAAmB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACzE,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO,EAAE;oBACxB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;iBACf;aACF;YACD,2BAAmB,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,eAAe,CAAC,2BAAmB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;SACvF;KACF;IACD,2BAAmB,CAAC,YAAY,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEW,QAAA,qBAAqB,GAAG,UAAC,IAAY;IAChD,OAAO,CAAA,2BAAmB,aAAnB,2BAAmB,uBAAnB,2BAAmB,CAAE,MAAM,EAChC,CAAC,CAAC,2BAAmB,CAAC,IAAI,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,IAAI,KAAK,IAAI,EAAlB,CAAkB,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEW,QAAA,0BAA0B,GAAG,UAAC,IAAY;IACrD,OAAO,CAAA,2BAAmB,aAAnB,2BAAmB,uBAAnB,2BAAmB,CAAE,MAAM,EAChC,CAAC,CAAC,2BAAmB,CAAC,SAAS,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,IAAI,KAAK,IAAI,EAAlB,CAAkB,CAAC;QAC3D,CAAC,CAAC,CAAC,CAAC,CAAC;AACT,CAAC,CAAC;AAEW,QAAA,wBAAwB,GAAG;IACtC,2BAAmB,GAAG,EAAE,CAAC;IACzB,2BAAmB,GAAG,EAAE,CAAC;AAC3B,CAAC,CAAC;AAEW,QAAA,uBAAuB,GAAG,UAAC,QAAgB;IACtD,IAAM,KAAK,GAAG,kBAAU,CAAC,SAAS,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAvB,CAAuB,CAAC,CAAC;IACpE,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE;QAChB,OAAO,EAAE,CAAC;KACX;IACD,OAAO,kBAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;AAClC,CAAC,CAAC;AAEF,IAAM,4BAA4B,GAAG,UAAC,UAA6C,EAAE,OAA0C;IAC7H,IAAI,EAAC,UAAU,aAAV,UAAU,uBAAV,UAAU,CAAE,MAAM,CAAA,EAAE;QACvB,OAAO,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;KAChD;4BACQ,CAAC;QACR,IAAM,QAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,UAAA,IAAI,IAAI,OAAA,IAAI,CAAC,GAAG,KAAK,QAAM,CAAC,GAAG,EAAvB,CAAuB,CAAC,CAAC;QACpE,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE;YAChB,UAAU,CAAC,IAAI,CAAC,QAAM,CAAC,CAAC;SACzB;aAAM;YACL,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,QAAM,CAAC,GAAG,CAAC;SACpC;;IAPH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;gBAA9B,CAAC;KAQT;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,IAAM,eAAe,GAAG,UAAC,UAA6C;IACpE,IAAI,CAAC,UAAU,IAAI,EAAC,UAAU,aAAV,UAAU,uBAAV,UAAU,CAAE,MAAM,CAAA,EAAE;QACtC,OAAO,EAAE,CAAA;KACV;IACD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC1C,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAA;KACpC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,IAAM,sBAAsB,GAAG,UAAC,WAAmB,EAAE,GAAG,EAAE,UAA6C;IACrG,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,QAAQ,WAAW,EAAE;QACnB,KAAK,SAAS;YACZ,SAAS,GAAG,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,EAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACxD,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,EAAC,CAAC,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAClH,MAAM;QACR,KAAK,YAAY;YACf,SAAS,GAAG,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,EAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACxD,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,EAAC,CAAC,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACjH,SAAS,IAAI,GAAG,CAAC;YACjB,SAAS,IAAI,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,UAAU,EAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/D,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,UAAU,EAAC,CAAC,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1H,MAAM;QACR,KAAK,eAAe;YAClB,SAAS,GAAG,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,EAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACxD,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,EAAC,CAAC,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACjH,SAAS,IAAI,GAAG,CAAC;YACjB,SAAS,IAAI,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,UAAU,EAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/D,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,UAAU,EAAC,CAAC,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1H,SAAS,IAAI,GAAG,CAAC;YACjB,SAAS,IAAI,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,aAAa,EAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YACrE,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,aAAa,EAAC,CAAC,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnI,MAAM;KACT;IAED,IAAI,CAAC,SAAS,EAAE;QACd,mBAAmB;QACnB,IAAI,WAAW,GAAG,6BAAqB,CAAC,WAAW,CAAC,CAAC;QACrD,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,MAAM,IAAI,CAAA,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,cAAc,CAAC,YAAY,GAChD,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7B,IAAI,GAAG,GAAG,EAAE,CAAC;QAEb,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE;YAC3C,OAAO;gBACL,SAAS,EAAE,SAAS;gBACpB,UAAU,EAAE,UAAU;gBACtB,iBAAiB,EAAE,IAAI;aACxB,CAAA;SACF;QAED,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE;YAC5B,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC;oBACpD,GAAG,EAAE,WAAW,CAAC,IAAI;oBACrB,GAAG,EAAE,CAAA,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,OAAO,EAAC,CAAC,CAAC,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,OAAO,CAAC,CAAC,CAAC,CAAC;iBACrD,CAAC,CAAC,CAAC;YACJ,OAAO;gBACL,SAAS,EAAE,CAAC,CAAA,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,OAAO,EAAC,CAAC,CAAC,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;gBACvE,UAAU,EAAE,UAAU;gBACtB,iBAAiB,EAAE,KAAK;aACzB,CAAA;SACF;QAED,IAAI,WAAW,IAAI,WAAW,CAAC,WAAW,EAAE;YAC1C,UAAU,GAAG,4BAA4B,CAAC,UAAU,mBAAM,WAAW,CAAC,OAAO,EAAE,CAAC;SACjF;QACD,OAAO,WAAW,IAAI,WAAW,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE;YACrD,IAAI,WAAW,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE;gBAC5C,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC;gBAC7B,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC;wBACpD,GAAG,EAAE,WAAW,CAAC,IAAI;wBACrB,GAAG,EAAE,CAAA,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,OAAO,EAAC,CAAC,CAAC,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,OAAO,CAAC,CAAC,CAAC,CAAC;qBACrD,CAAC,CAAC,CAAC;aACL;iBAAM;gBACL,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACd,UAAU,GAAG,4BAA4B,CAAC,UAAU,EAAC,CAAC;wBACpD,GAAG,EAAE,WAAW,CAAC,IAAI;wBACrB,GAAG,EAAE,CAAC;qBACP,CAAC,CAAC,CAAC;gBACJ,IAAM,IAAI,GAAG,sBAAsB,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,mBAAM,WAAW,CAAC,OAAO,EAAE,CAAC;gBAC5F,UAAU,GAAG,4BAA4B,CAAC,UAAU,mBAAM,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC5E,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;gBACrB,IAAI,IAAI,CAAC,iBAAiB,EAAE;oBAC1B,MAAM;iBACP;aACF;SACF;QACD,SAAS,GAAG,CAAA,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,MAAM,EAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;KAC3D;IACD,OAAO;QACL,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,UAAU;QACtB,iBAAiB,EAAE,KAAK;KACzB,CAAA;AACH,CAAC,CAAC;AAEW,QAAA,gBAAgB,GAAG,UAAC,QAAgB,EAAE,GAAG;IACpD,IAAI,OAAO,GAAwB,2BAAmB,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;QACnC,OAAO,EAAE,CAAC;KACX;IACD,IAAI,OAAO,CAAC,UAAU,EAAE;QACtB,IAAM,SAAS,GAAG,kCAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACjE,IAAM,QAAQ,GAAG,2BAAmB,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,EAAE;YACnC,IAAM,IAAI,GAAG,sBAAsB,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,mBAAM,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtF,IAAI,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,IAAM,cAAY,GAAG,mCAA2B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAErE,IAAI,SAAS,EAAE;gBACb,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;gBAClC,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC;gBACjC,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;gBAC/C,OAAO,CAAC,OAAO,GAAG,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,CAAC;gBAC5D,OAAO,CAAC,UAAU,GAAG,OAAO,CAAC,YAAY,GAAG,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAE7E,QAAQ,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;gBACnC,QAAQ,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;gBACzC,QAAQ,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;gBACnC,QAAQ,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;gBAE7C,OAAO,OAAO,CAAC,UAAU,CAAC;aAC3B;SACF;KACF;IAED,IAAI,OAAO,CAAC,WAAW,EAAE;QACvB,IAAI,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,mBAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAClF,IAAI,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjD,IAAM,cAAY,GAAG,mCAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,SAAS,EAAE;YACb,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE;gBACtC,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;gBAClC,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC;gBACjC,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;aAC/C;iBAAM;gBACL,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;aAChD;YACD,OAAO,CAAC,OAAO,GAAG,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,CAAC;YAC5D,OAAO,CAAC,UAAU,GAAG,OAAO,CAAC,YAAY,GAAG,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7E,OAAO,OAAO,CAAC,UAAU,CAAC;SAC3B;QACD,IAAI,cAAY,KAAK,CAAC,CAAC,EAAE;YACvB,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;YAC/C,OAAO,CAAC,OAAO,GAAG,2BAAmB,CAAC,cAAY,CAAC,CAAC,OAAO,CAAC;YAC5D,OAAO,CAAC,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAChD,OAAO,OAAO,CAAC,UAAU,CAAC;SAC3B;KACF;IACD,IAAM,YAAY,GAAG,mCAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE;QACvB,2BAAmB,CAAC,YAAY,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;KAChD;IACD,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;IACrB,OAAO,CAAC,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IAChD,OAAO,OAAO,CAAC,UAAU,CAAC;AAC5B,CAAC,CAAC"}
@@ -0,0 +1,18 @@
1
+ export declare const mappingTheorems: {
2
+ newtheorem: string;
3
+ theoremstyle: string;
4
+ theorem_open: string;
5
+ theorem_close: string;
6
+ proof_open: string;
7
+ proof_close: string;
8
+ qedsymbol: string;
9
+ qedsymbol_open: string;
10
+ qedsymbol_close: string;
11
+ renewcommand_qedsymbol: string;
12
+ theorem_description_open: string;
13
+ theorem_description_close: string;
14
+ theorem_print_open: string;
15
+ theorem_print_close: string;
16
+ theorem_setcounter: string;
17
+ };
18
+ export declare const renderTheorems: (md: any) => void;
@@ -0,0 +1,180 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.renderTheorems = exports.mappingTheorems = void 0;
4
+ var helper_1 = require("./helper");
5
+ var renderTheoremOpen = function (tokens, idx, options, env, slf) {
6
+ var token = tokens[idx];
7
+ var envLabel = token.envLabel;
8
+ var envStyle = token.envStyle;
9
+ /**
10
+ * definition - boldface title, Roman body. Commonly used in definitions, conditions, problems and examples.
11
+ * plain - boldface title, italicized body. Commonly used in theorems, lemmas, corollaries, propositions and conjectures.
12
+ * remark - italicized title, Roman body. Commonly used in remarks, notes, annotations, claims, cases, acknowledgments and conclusions.
13
+ * */
14
+ var styleBody = "";
15
+ switch (envStyle) {
16
+ case "definition":
17
+ styleBody = "font-style: normal;";
18
+ break;
19
+ case "plain":
20
+ styleBody = "font-style: italic;";
21
+ break;
22
+ case "remark":
23
+ styleBody = "font-style: normal;";
24
+ break;
25
+ }
26
+ styleBody += " padding: 10px 0;";
27
+ var labelRef = envLabel ? encodeURIComponent(envLabel) : '';
28
+ return labelRef
29
+ ? "<div id=\"" + labelRef + "\" class=\"theorem\" style=\"" + styleBody + "\">"
30
+ : "<div class=\"theorem\" style=\"" + styleBody + "\">";
31
+ };
32
+ var renderTheoremPrintOpen = function (tokens, idx, options, env, slf) {
33
+ var token = tokens[idx];
34
+ var envStyle = token.envStyle;
35
+ var styleTile = "";
36
+ /**
37
+ * definition - boldface title, Roman body. Commonly used in definitions, conditions, problems and examples.
38
+ * plain - boldface title, italicized body. Commonly used in theorems, lemmas, corollaries, propositions and conjectures.
39
+ * remark - italicized title, Roman body. Commonly used in remarks, notes, annotations, claims, cases, acknowledgments and conclusions.
40
+ * */
41
+ switch (envStyle) {
42
+ case "definition":
43
+ styleTile = "font-weight: bold; font-style: normal;";
44
+ break;
45
+ case "plain":
46
+ styleTile = "font-weight: bold; font-style: normal;";
47
+ break;
48
+ case "remark":
49
+ styleTile = "font-style: italic;";
50
+ break;
51
+ }
52
+ return "<span style=\"" + styleTile + "\" class=\"theorem-title\">";
53
+ };
54
+ var renderTheoremPrintClose = function (tokens, idx, options, env, slf) {
55
+ var token = tokens[idx];
56
+ var envName = token.environment;
57
+ var envDescription = token.envDescription;
58
+ var envNumber = token.envNumber;
59
+ var envStyle = token.envStyle;
60
+ var envIndex = envName
61
+ ? helper_1.getTheoremEnvironmentIndex(envName)
62
+ : -1;
63
+ if (envIndex !== -1) {
64
+ var envItem = helper_1.theoremEnvironments[envIndex];
65
+ var htmlPrint = envItem.isNumbered
66
+ ? ' ' + envNumber
67
+ : '';
68
+ htmlPrint += envStyle === "plain" ? '.' : envDescription ? '' : '.';
69
+ htmlPrint += "</span>";
70
+ var htmlSpaceMin = options.forDocx
71
+ ? '<span>&nbsp;</span>'
72
+ : '<span style="margin-right: 10px"></span>';
73
+ var htmlSpace = options.forDocx
74
+ ? '<span>&nbsp;&nbsp;</span>'
75
+ : '<span style="margin-right: 16px"></span>';
76
+ htmlPrint += envDescription ? htmlSpaceMin : htmlSpace;
77
+ return htmlPrint;
78
+ }
79
+ return "</span>";
80
+ };
81
+ var renderTheoremDescriptionOpen = function (tokens, idx, options, env, slf) {
82
+ var token = tokens[idx];
83
+ var envStyle = token.envStyle;
84
+ var styleDescription = "";
85
+ /**
86
+ * definition - boldface title, Roman body. Commonly used in definitions, conditions, problems and examples.
87
+ * plain - boldface title, italicized body. Commonly used in theorems, lemmas, corollaries, propositions and conjectures.
88
+ * remark - italicized title, Roman body. Commonly used in remarks, notes, annotations, claims, cases, acknowledgments and conclusions.
89
+ * */
90
+ switch (envStyle) {
91
+ case "definition":
92
+ styleDescription = "font-style: normal;";
93
+ break;
94
+ case "plain":
95
+ styleDescription = "font-weight: bold; font-style: normal;";
96
+ break;
97
+ case "remark":
98
+ styleDescription = "font-style: normal;";
99
+ break;
100
+ }
101
+ return "<span style=\"" + styleDescription + "\">(";
102
+ };
103
+ var renderTheoremDescriptionClose = function (tokens, idx, options, env, slf) {
104
+ var token = tokens[idx];
105
+ var envStyle = token.envStyle;
106
+ var envDescription = token.envDescription;
107
+ var point = envDescription && envStyle === "plain" ? '' : '.';
108
+ var htmlSpace = options.forDocx
109
+ ? '<span>&nbsp;&nbsp;</span>'
110
+ : '<span style="margin-right: 16px"></span>';
111
+ return ')' + point + '</span>' + htmlSpace;
112
+ };
113
+ var renderProofOpen = function (tokens, idx, options, env, slf) {
114
+ var token = tokens[idx];
115
+ var envLabel = token.envLabel;
116
+ var labelRef = envLabel ? encodeURIComponent(envLabel) : '';
117
+ var styleTile = "font-style: italic;";
118
+ var styleBody = "font-style: normal; padding: 10px 0;";
119
+ var htmlTitle = "<span style=\"" + styleTile + "\">Proof.</span>";
120
+ var htmlSpaceMin = options.forDocx
121
+ ? '<span>&nbsp;</span>'
122
+ : '<span style="margin-right: 10px"></span>';
123
+ htmlTitle += htmlSpaceMin;
124
+ return labelRef
125
+ ? "<div id=\"" + labelRef + "\" class=\"proof\" style=\"" + styleBody + "\">" + htmlTitle
126
+ : "<div class=\"proof\" style=\"" + styleBody + "\">" + htmlTitle;
127
+ };
128
+ exports.mappingTheorems = {
129
+ newtheorem: "newtheorem",
130
+ theoremstyle: "theoremstyle",
131
+ theorem_open: "theorem_open",
132
+ theorem_close: "theorem_close",
133
+ proof_open: "proof_open",
134
+ proof_close: "proof_close",
135
+ qedsymbol: "qedsymbol",
136
+ qedsymbol_open: "qedsymbol_open",
137
+ qedsymbol_close: "qedsymbol_close",
138
+ renewcommand_qedsymbol: "renewcommand_qedsymbol",
139
+ theorem_description_open: "theorem_description_open",
140
+ theorem_description_close: "theorem_description_close",
141
+ theorem_print_open: "theorem_print_open",
142
+ theorem_print_close: "theorem_print_close",
143
+ theorem_setcounter: "theorem_setcounter",
144
+ };
145
+ exports.renderTheorems = function (md) {
146
+ Object.keys(exports.mappingTheorems).forEach(function (key) {
147
+ md.renderer.rules[key] = function (tokens, idx, options, env, slf) {
148
+ if (env === void 0) { env = {}; }
149
+ switch (tokens[idx].type) {
150
+ case "newtheorem":
151
+ case "theoremstyle":
152
+ case "renewcommand_qedsymbol":
153
+ case "theorem_setcounter":
154
+ return '';
155
+ case "theorem_open":
156
+ return renderTheoremOpen(tokens, idx, options, env, slf);
157
+ case "proof_open":
158
+ return renderProofOpen(tokens, idx, options, env, slf);
159
+ case "theorem_close":
160
+ case "proof_close":
161
+ return "</div>";
162
+ case "qedsymbol_open":
163
+ return "<span style=\"float: right\">";
164
+ case "qedsymbol_close":
165
+ return "</span>";
166
+ case "theorem_print_open":
167
+ return renderTheoremPrintOpen(tokens, idx, options, env, slf);
168
+ case "theorem_print_close":
169
+ return renderTheoremPrintClose(tokens, idx, options, env, slf);
170
+ case "theorem_description_open":
171
+ return renderTheoremDescriptionOpen(tokens, idx, options, env, slf);
172
+ case "theorem_description_close":
173
+ return renderTheoremDescriptionClose(tokens, idx, options, env, slf);
174
+ default:
175
+ return '';
176
+ }
177
+ };
178
+ });
179
+ };
180
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/markdown/md-theorem/index.ts"],"names":[],"mappings":";;;AACA,mCAA2E;AAE3E,IAAM,iBAAiB,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG;IACvD,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC;;;;SAIK;IACL,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,QAAQ,QAAQ,EAAE;QAChB,KAAK,YAAY;YACf,SAAS,GAAG,qBAAqB,CAAC;YAClC,MAAM;QACR,KAAK,OAAO;YACV,SAAS,GAAG,qBAAqB,CAAC;YAClC,MAAM;QACR,KAAK,QAAQ;YACX,SAAS,GAAG,qBAAqB,CAAC;YAClC,MAAM;KACT;IACD,SAAS,IAAI,mBAAmB,CAAC;IACjC,IAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,OAAO,QAAQ;QACb,CAAC,CAAC,eAAY,QAAQ,qCAA4B,SAAS,QAAI;QAC/D,CAAC,CAAC,oCAA+B,SAAS,QAAI,CAAC;AACnD,CAAC,CAAC;AAEF,IAAM,sBAAsB,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG;IAC5D,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB;;;;SAIK;IACL,QAAQ,QAAQ,EAAE;QAChB,KAAK,YAAY;YACf,SAAS,GAAG,wCAAwC,CAAC;YACrD,MAAM;QACR,KAAK,OAAO;YACV,SAAS,GAAG,wCAAwC,CAAC;YACrD,MAAM;QACR,KAAK,QAAQ;YACX,SAAS,GAAG,qBAAqB,CAAC;YAClC,MAAM;KACT;IACD,OAAM,mBAAgB,SAAS,gCAA0B,CAAC;AAC5D,CAAC,CAAC;AAEF,IAAM,uBAAuB,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG;IAC7D,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC;IAClC,IAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,IAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAM,QAAQ,GAAG,OAAO;QACtB,CAAC,CAAC,mCAA0B,CAAC,OAAO,CAAC;QACrC,CAAC,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE;QACnB,IAAM,OAAO,GAAG,4BAAmB,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,SAAS,GAAG,OAAO,CAAC,UAAU;YAChC,CAAC,CAAC,GAAG,GAAG,SAAS;YACjB,CAAC,CAAC,EAAE,CAAC;QACP,SAAS,IAAI,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACpE,SAAS,IAAI,SAAS,CAAC;QACvB,IAAM,YAAY,GAAG,OAAO,CAAC,OAAO;YAClC,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,0CAA0C,CAAC;QAC/C,IAAM,SAAS,GAAG,OAAO,CAAC,OAAO;YAC/B,CAAC,CAAC,2BAA2B;YAC7B,CAAC,CAAC,0CAA0C,CAAC;QAC/C,SAAS,IAAI,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;QACvD,OAAO,SAAS,CAAC;KAClB;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,IAAM,4BAA4B,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG;IAClE,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,gBAAgB,GAAG,EAAE,CAAC;IAC1B;;;;SAIK;IACL,QAAQ,QAAQ,EAAE;QAChB,KAAK,YAAY;YACf,gBAAgB,GAAG,qBAAqB,CAAC;YACzC,MAAM;QACR,KAAK,OAAO;YACV,gBAAgB,GAAG,wCAAwC,CAAC;YAC5D,MAAM;QACR,KAAK,QAAQ;YACX,gBAAgB,GAAG,qBAAqB,CAAC;YACzC,MAAM;KACT;IACD,OAAO,mBAAgB,gBAAgB,SAAK,CAAA;AAC9C,CAAC,CAAC;AAEF,IAAM,6BAA6B,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG;IACnE,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,IAAM,KAAK,GAAG,cAAc,IAAI,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAChE,IAAM,SAAS,GAAG,OAAO,CAAC,OAAO;QAC/B,CAAC,CAAC,2BAA2B;QAC7B,CAAC,CAAC,0CAA0C,CAAC;IAC/C,OAAQ,GAAG,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS,CAAC;AAC9C,CAAC,CAAC;AAEF,IAAM,eAAe,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG;IACrD,IAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAEhC,IAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,IAAM,SAAS,GAAG,qBAAqB,CAAC;IACxC,IAAM,SAAS,GAAG,sCAAsC,CAAC;IACzD,IAAI,SAAS,GAAG,mBAAgB,SAAS,qBAAiB,CAAC;IAC3D,IAAM,YAAY,GAAG,OAAO,CAAC,OAAO;QACpC,CAAC,CAAC,qBAAqB;QACvB,CAAC,CAAC,0CAA0C,CAAC;IAC7C,SAAS,IAAI,YAAY,CAAC;IAE1B,OAAO,QAAQ;QACb,CAAC,CAAC,eAAY,QAAQ,mCAA0B,SAAS,QAAI,GAAG,SAAS;QACzE,CAAC,CAAC,kCAA6B,SAAS,QAAI,GAAG,SAAS,CAAC;AAC7D,CAAC,CAAC;AAEW,QAAA,eAAe,GAAG;IAC7B,UAAU,EAAE,YAAY;IACxB,YAAY,EAAE,cAAc;IAC5B,YAAY,EAAE,cAAc;IAC5B,aAAa,EAAE,eAAe;IAC9B,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,aAAa;IAC1B,SAAS,EAAE,WAAW;IACtB,cAAc,EAAE,gBAAgB;IAChC,eAAe,EAAE,iBAAiB;IAClC,sBAAsB,EAAE,wBAAwB;IAChD,wBAAwB,EAAE,0BAA0B;IACpD,yBAAyB,EAAE,2BAA2B;IACtD,kBAAkB,EAAE,oBAAoB;IACxC,mBAAmB,EAAE,qBAAqB;IAC1C,kBAAkB,EAAE,oBAAoB;CACzC,CAAC;AAEW,QAAA,cAAc,GAAG,UAAC,EAAc;IAC3C,MAAM,CAAC,IAAI,CAAC,uBAAe,CAAC,CAAC,OAAO,CAAC,UAAA,GAAG;QACtC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,UAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAQ,EAAE,GAAG;YAAb,oBAAA,EAAA,QAAQ;YACtD,QAAQ,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;gBACxB,KAAK,YAAY,CAAC;gBAClB,KAAK,cAAc,CAAC;gBACpB,KAAK,wBAAwB,CAAC;gBAC9B,KAAK,oBAAoB;oBACvB,OAAO,EAAE,CAAC;gBACZ,KAAK,cAAc;oBACjB,OAAO,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC3D,KAAK,YAAY;oBACf,OAAO,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzD,KAAK,eAAe,CAAC;gBACrB,KAAK,aAAa;oBAChB,OAAO,QAAQ,CAAC;gBAClB,KAAK,gBAAgB;oBACnB,OAAO,+BAA6B,CAAC;gBACvC,KAAK,iBAAiB;oBACpB,OAAO,SAAS,CAAC;gBACnB,KAAK,oBAAoB;oBACvB,OAAO,sBAAsB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBAChE,KAAK,qBAAqB;oBACxB,OAAO,uBAAuB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACjE,KAAK,0BAA0B;oBAC7B,OAAO,4BAA4B,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACtE,KAAK,2BAA2B;oBAC9B,OAAO,6BAA6B,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACvE;oBACE,OAAO,EAAE,CAAC;aACb;QACH,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC"}
@@ -0,0 +1,23 @@
1
+ import { RuleInline } from 'markdown-it';
2
+ /**
3
+ * \theoremstyle{definition} | \theoremstyle{plain} | \theoremstyle{remark}
4
+ * The command \theoremstyle{ } sets the styling for the numbered environment defined right below it
5
+ * {definition} - boldface title, Roman body. Commonly used in definitions, conditions, problems and examples.
6
+ * {plain} - boldface title, italicized body. Commonly used in theorems, lemmas, corollaries, propositions and conjectures.
7
+ * {remark} - italicized title, Roman body. Commonly used in remarks, notes, annotations, claims, cases, acknowledgments and conclusions.
8
+ * */
9
+ export declare const theoremStyle: RuleInline;
10
+ /**
11
+ * \newtheorem{name}{print}[numbered]
12
+ * {name} - is the name of the environment
13
+ * {print} is the word to be shown in the document
14
+ * [numbered] - is the sectional unit based on which the environments is to be numbered (this is optional
15
+ * */
16
+ export declare const newTheorem: RuleInline;
17
+ export declare const setCounterTheorem: RuleInline;
18
+ /**
19
+ * \renewcommand\qedsymbol{$\blacksquare$}
20
+ * \renewcommand\qedsymbol{QED}
21
+ */
22
+ export declare const newCommandQedSymbol: RuleInline;
23
+ export declare const labelLatex: RuleInline;