| 1 |
- {"ast":null,"code":"\"use strict\";\n\nvar __importDefault = this && this.__importDefault || function (mod) {\n return mod && mod.__esModule ? mod : {\n \"default\": mod\n };\n};\nObject.defineProperty(exports, \"__esModule\", {\n value: true\n});\nvar BussproofsMethods_js_1 = __importDefault(require(\"./BussproofsMethods.js\"));\nvar ParseMethods_js_1 = __importDefault(require(\"../ParseMethods.js\"));\nvar SymbolMap_js_1 = require(\"../SymbolMap.js\");\nnew SymbolMap_js_1.CommandMap('Bussproofs-macros', {\n AxiomC: 'Axiom',\n UnaryInfC: ['Inference', 1],\n BinaryInfC: ['Inference', 2],\n TrinaryInfC: ['Inference', 3],\n QuaternaryInfC: ['Inference', 4],\n QuinaryInfC: ['Inference', 5],\n RightLabel: ['Label', 'right'],\n LeftLabel: ['Label', 'left'],\n AXC: 'Axiom',\n UIC: ['Inference', 1],\n BIC: ['Inference', 2],\n TIC: ['Inference', 3],\n RL: ['Label', 'right'],\n LL: ['Label', 'left'],\n noLine: ['SetLine', 'none', false],\n singleLine: ['SetLine', 'solid', false],\n solidLine: ['SetLine', 'solid', false],\n dashedLine: ['SetLine', 'dashed', false],\n alwaysNoLine: ['SetLine', 'none', true],\n alwaysSingleLine: ['SetLine', 'solid', true],\n alwaysSolidLine: ['SetLine', 'solid', true],\n alwaysDashedLine: ['SetLine', 'dashed', true],\n rootAtTop: ['RootAtTop', true],\n alwaysRootAtTop: ['RootAtTop', true],\n rootAtBottom: ['RootAtTop', false],\n alwaysRootAtBottom: ['RootAtTop', false],\n fCenter: 'FCenter',\n Axiom: 'AxiomF',\n UnaryInf: ['InferenceF', 1],\n BinaryInf: ['InferenceF', 2],\n TrinaryInf: ['InferenceF', 3],\n QuaternaryInf: ['InferenceF', 4],\n QuinaryInf: ['InferenceF', 5]\n}, BussproofsMethods_js_1.default);\nnew SymbolMap_js_1.EnvironmentMap('Bussproofs-environments', ParseMethods_js_1.default.environment, {\n prooftree: ['Prooftree', null, false]\n}, BussproofsMethods_js_1.default);","map":{"version":3,"names":["__importDefault","mod","__esModule","Object","defineProperty","exports","value","BussproofsMethods_js_1","require","ParseMethods_js_1","SymbolMap_js_1","CommandMap","AxiomC","UnaryInfC","BinaryInfC","TrinaryInfC","QuaternaryInfC","QuinaryInfC","RightLabel","LeftLabel","AXC","UIC","BIC","TIC","RL","LL","noLine","singleLine","solidLine","dashedLine","alwaysNoLine","alwaysSingleLine","alwaysSolidLine","alwaysDashedLine","rootAtTop","alwaysRootAtTop","rootAtBottom","alwaysRootAtBottom","fCenter","Axiom","UnaryInf","BinaryInf","TrinaryInf","QuaternaryInf","QuinaryInf","default","EnvironmentMap","environment","prooftree"],"sources":["F:/workspace/202226701027/huinongbao-app/node_modules/mathjax-full/js/input/tex/bussproofs/BussproofsMappings.js"],"sourcesContent":["\"use strict\";\nvar __importDefault = (this && this.__importDefault) || function (mod) {\n return (mod && mod.__esModule) ? mod : { \"default\": mod };\n};\nObject.defineProperty(exports, \"__esModule\", { value: true });\nvar BussproofsMethods_js_1 = __importDefault(require(\"./BussproofsMethods.js\"));\nvar ParseMethods_js_1 = __importDefault(require(\"../ParseMethods.js\"));\nvar SymbolMap_js_1 = require(\"../SymbolMap.js\");\nnew SymbolMap_js_1.CommandMap('Bussproofs-macros', {\n AxiomC: 'Axiom',\n UnaryInfC: ['Inference', 1],\n BinaryInfC: ['Inference', 2],\n TrinaryInfC: ['Inference', 3],\n QuaternaryInfC: ['Inference', 4],\n QuinaryInfC: ['Inference', 5],\n RightLabel: ['Label', 'right'],\n LeftLabel: ['Label', 'left'],\n AXC: 'Axiom',\n UIC: ['Inference', 1],\n BIC: ['Inference', 2],\n TIC: ['Inference', 3],\n RL: ['Label', 'right'],\n LL: ['Label', 'left'],\n noLine: ['SetLine', 'none', false],\n singleLine: ['SetLine', 'solid', false],\n solidLine: ['SetLine', 'solid', false],\n dashedLine: ['SetLine', 'dashed', false],\n alwaysNoLine: ['SetLine', 'none', true],\n alwaysSingleLine: ['SetLine', 'solid', true],\n alwaysSolidLine: ['SetLine', 'solid', true],\n alwaysDashedLine: ['SetLine', 'dashed', true],\n rootAtTop: ['RootAtTop', true],\n alwaysRootAtTop: ['RootAtTop', true],\n rootAtBottom: ['RootAtTop', false],\n alwaysRootAtBottom: ['RootAtTop', false],\n fCenter: 'FCenter',\n Axiom: 'AxiomF',\n UnaryInf: ['InferenceF', 1],\n BinaryInf: ['InferenceF', 2],\n TrinaryInf: ['InferenceF', 3],\n QuaternaryInf: ['InferenceF', 4],\n QuinaryInf: ['InferenceF', 5]\n}, BussproofsMethods_js_1.default);\nnew SymbolMap_js_1.EnvironmentMap('Bussproofs-environments', ParseMethods_js_1.default.environment, {\n prooftree: ['Prooftree', null, false]\n}, BussproofsMethods_js_1.default);\n"],"mappings":"AAAA,YAAY;;AACZ,IAAIA,eAAe,GAAI,IAAI,IAAI,IAAI,CAACA,eAAe,IAAK,UAAUC,GAAG,EAAE;EACnE,OAAQA,GAAG,IAAIA,GAAG,CAACC,UAAU,GAAID,GAAG,GAAG;IAAE,SAAS,EAAEA;EAAI,CAAC;AAC7D,CAAC;AACDE,MAAM,CAACC,cAAc,CAACC,OAAO,EAAE,YAAY,EAAE;EAAEC,KAAK,EAAE;AAAK,CAAC,CAAC;AAC7D,IAAIC,sBAAsB,GAAGP,eAAe,CAACQ,OAAO,CAAC,wBAAwB,CAAC,CAAC;AAC/E,IAAIC,iBAAiB,GAAGT,eAAe,CAACQ,OAAO,CAAC,oBAAoB,CAAC,CAAC;AACtE,IAAIE,cAAc,GAAGF,OAAO,CAAC,iBAAiB,CAAC;AAC/C,IAAIE,cAAc,CAACC,UAAU,CAAC,mBAAmB,EAAE;EAC/CC,MAAM,EAAE,OAAO;EACfC,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EAC3BC,UAAU,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EAC5BC,WAAW,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EAC7BC,cAAc,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EAChCC,WAAW,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EAC7BC,UAAU,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;EAC9BC,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;EAC5BC,GAAG,EAAE,OAAO;EACZC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EACrBC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EACrBC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;EACrBC,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;EACtBC,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;EACrBC,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC;EAClCC,UAAU,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC;EACvCC,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC;EACtCC,UAAU,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC;EACxCC,YAAY,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC;EACvCC,gBAAgB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC;EAC5CC,eAAe,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC;EAC3CC,gBAAgB,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC;EAC7CC,SAAS,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;EAC9BC,eAAe,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;EACpCC,YAAY,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;EAClCC,kBAAkB,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;EACxCC,OAAO,EAAE,SAAS;EAClBC,KAAK,EAAE,QAAQ;EACfC,QAAQ,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;EAC3BC,SAAS,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;EAC5BC,UAAU,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;EAC7BC,aAAa,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;EAChCC,UAAU,EAAE,CAAC,YAAY,EAAE,CAAC;AAChC,CAAC,EAAErC,sBAAsB,CAACsC,OAAO,CAAC;AAClC,IAAInC,cAAc,CAACoC,cAAc,CAAC,yBAAyB,EAAErC,iBAAiB,CAACoC,OAAO,CAACE,WAAW,EAAE;EAChGC,SAAS,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK;AACxC,CAAC,EAAEzC,sBAAsB,CAACsC,OAAO,CAAC","ignoreList":[]},"metadata":{},"sourceType":"script","externalDependencies":[]}
|
