mathpix-markdown-it 1.0.80 → 1.0.82
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.
- package/.idea/workspace.xml +529 -364
- package/README.md +24 -0
- package/doc/images/theorem_01.png +0 -0
- package/doc/images/theorem_02.png +0 -0
- package/doc/images/theorem_03.png +0 -0
- package/doc/images/theorem_04.png +0 -0
- package/doc/images/theorem_05.png +0 -0
- package/doc/images/theorem_06.png +0 -0
- package/doc/images/theorem_07.png +0 -0
- package/doc/images/theorems_and_proofs.png +0 -0
- package/doc/theorems.md +265 -0
- package/es5/bundle.js +1 -1
- package/es5/index.js +1 -1
- package/lib/index.d.ts +2 -2
- package/lib/index.js +2 -1
- package/lib/index.js.map +1 -1
- package/lib/markdown/common/consts.d.ts +20 -0
- package/lib/markdown/common/consts.js +60 -1
- package/lib/markdown/common/consts.js.map +1 -1
- package/lib/markdown/md-block-rule/begin-table.js +5 -6
- package/lib/markdown/md-block-rule/begin-table.js.map +1 -1
- package/lib/markdown/md-block-rule/helper.d.ts +1 -0
- package/lib/markdown/md-block-rule/helper.js +35 -0
- package/lib/markdown/md-block-rule/helper.js.map +1 -0
- package/lib/markdown/md-block-rule/lists/index.js +4 -18
- package/lib/markdown/md-block-rule/lists/index.js.map +1 -1
- package/lib/markdown/md-theorem/block-rule.d.ts +4 -0
- package/lib/markdown/md-theorem/block-rule.js +405 -0
- package/lib/markdown/md-theorem/block-rule.js.map +1 -0
- package/lib/markdown/md-theorem/helper.d.ts +34 -0
- package/lib/markdown/md-theorem/helper.js +251 -0
- package/lib/markdown/md-theorem/helper.js.map +1 -0
- package/lib/markdown/md-theorem/index.d.ts +18 -0
- package/lib/markdown/md-theorem/index.js +180 -0
- package/lib/markdown/md-theorem/index.js.map +1 -0
- package/lib/markdown/md-theorem/inline-rule.d.ts +23 -0
- package/lib/markdown/md-theorem/inline-rule.js +242 -0
- package/lib/markdown/md-theorem/inline-rule.js.map +1 -0
- package/lib/markdown/mdPluginRaw.js +15 -2
- package/lib/markdown/mdPluginRaw.js.map +1 -1
- package/lib/markdown/mdPluginTableTabular.js +3 -0
- package/lib/markdown/mdPluginTableTabular.js.map +1 -1
- package/lib/markdown/mdPluginText.js +7 -0
- package/lib/markdown/mdPluginText.js.map +1 -1
- package/lib/styles/index.js +1 -1
- package/lib/styles/index.js.map +1 -1
- 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> </span>'
|
|
72
|
+
: '<span style="margin-right: 10px"></span>';
|
|
73
|
+
var htmlSpace = options.forDocx
|
|
74
|
+
? '<span> </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> </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> </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;
|