kmap-term-tree 0.9.21 → 0.9.22

package/src/asciimath-parser.ts

@@ -0,0 +1,554 @@
+import { TermNode, GERMAN_LABELS, OPERATOR_SYMBOLS } from './model.js';
+
+const KNOWN_FUNCTIONS = new Set([
+  'sin',
+  'cos',
+  'tan',
+  'cot',
+  'sec',
+  'csc',
+  'arcsin',
+  'arccos',
+  'arctan',
+  'sinh',
+  'cosh',
+  'tanh',
+  'exp',
+  'ln',
+  'log',
+  'sqrt',
+  'abs',
+]);
+
+const FUNCTION_MAP: Record<string, string> = {
+  sin: 'Sin',
+  cos: 'Cos',
+  tan: 'Tan',
+  cot: 'Cot',
+  arcsin: 'Arcsin',
+  arccos: 'Arccos',
+  arctan: 'Arctan',
+  sinh: 'Sinh',
+  cosh: 'Cosh',
+  tanh: 'Tanh',
+  ln: 'Ln',
+  log: 'Log',
+  sqrt: 'Sqrt',
+  abs: 'Abs',
+  exp: 'Exp',
+};
+
+const GREEK_LETTERS = new Set([
+  'alpha',
+  'beta',
+  'gamma',
+  'delta',
+  'epsilon',
+  'zeta',
+  'eta',
+  'theta',
+  'iota',
+  'kappa',
+  'lambda',
+  'mu',
+  'nu',
+  'xi',
+  'pi',
+  'rho',
+  'sigma',
+  'tau',
+  'upsilon',
+  'phi',
+  'chi',
+  'psi',
+  'omega',
+]);
+
+type TokenType =
+  | 'NUMBER'
+  | 'VARIABLE'
+  | 'FUNCTION'
+  | 'OPERATOR'
+  | 'LPAREN'
+  | 'RPAREN'
+  | 'COMMA'
+  | 'EOF';
+
+interface Token {
+  type: TokenType;
+  value: string;
+  implicit?: boolean;
+}
+
+class Tokenizer {
+  private input: string;
+  private pos = 0;
+
+  constructor(input: string) {
+    this.input = input.trim();
+  }
+
+  tokenize(): Token[] {
+    const rawTokens: Token[] = [];
+
+    while (this.pos < this.input.length) {
+      const ch = this.input[this.pos];
+
+      if (/\s/.test(ch)) {
+        this.pos++;
+        continue;
+      }
+
+      // Numbers: integer or floating point
+      if (/\d/.test(ch)) {
+        let num = '';
+        while (
+          this.pos < this.input.length &&
+          /[\d.]/.test(this.input[this.pos])
+        ) {
+          num += this.input[this.pos++];
+        }
+        rawTokens.push({ type: 'NUMBER', value: num });
+        continue;
+      }
+
+      // Words: functions, greek letters, or sequences of variable characters
+      if (/[a-zA-Z]/.test(ch)) {
+        let word = '';
+        while (
+          this.pos < this.input.length &&
+          /[a-zA-Z]/.test(this.input[this.pos])
+        ) {
+          word += this.input[this.pos++];
+        }
+        const lower = word.toLowerCase();
+
+        if (KNOWN_FUNCTIONS.has(lower)) {
+          rawTokens.push({ type: 'FUNCTION', value: lower });
+        } else if (GREEK_LETTERS.has(lower)) {
+          rawTokens.push({ type: 'VARIABLE', value: lower });
+        } else {
+          // In school mathematics, "2ab" or "xy" means 2 * a * b or x * y
+          for (const char of word) {
+            rawTokens.push({ type: 'VARIABLE', value: char });
+          }
+        }
+        continue;
+      }
+
+      // 'xx' or '·' or '*' as multiplication
+      if (ch === 'x' && this.input[this.pos + 1] === 'x') {
+        rawTokens.push({ type: 'OPERATOR', value: '*' });
+        this.pos += 2;
+        continue;
+      }
+      if (ch === '·' || ch === '*') {
+        rawTokens.push({ type: 'OPERATOR', value: '*' });
+        this.pos++;
+        continue;
+      }
+
+      // Division: '/' or ':'
+      if (ch === '/' || ch === ':') {
+        rawTokens.push({ type: 'OPERATOR', value: ch });
+        this.pos++;
+        continue;
+      }
+
+      // Other operators
+      if (ch === '+' || ch === '-' || ch === '^') {
+        rawTokens.push({ type: 'OPERATOR', value: ch });
+        this.pos++;
+        continue;
+      }
+
+      // Parentheses & brackets
+      if (ch === '(' || ch === '[') {
+        rawTokens.push({ type: 'LPAREN', value: ch });
+        this.pos++;
+        continue;
+      }
+      if (ch === ')' || ch === ']') {
+        rawTokens.push({ type: 'RPAREN', value: ch });
+        this.pos++;
+        continue;
+      }
+
+      if (ch === ',') {
+        rawTokens.push({ type: 'COMMA', value: ch });
+        this.pos++;
+        continue;
+      }
+
+      // Fallback: skip unrecognized characters
+      this.pos++;
+    }
+
+    // Insert implicit multiplication between operands where appropriate
+    const tokens: Token[] = [];
+    for (let i = 0; i < rawTokens.length; i++) {
+      const cur = rawTokens[i];
+      tokens.push(cur);
+
+      if (i < rawTokens.length - 1) {
+        const next = rawTokens[i + 1];
+        const curEndsOperand =
+          cur.type === 'NUMBER' ||
+          cur.type === 'VARIABLE' ||
+          cur.type === 'RPAREN';
+        const nextStartsOperand =
+          next.type === 'NUMBER' ||
+          next.type === 'VARIABLE' ||
+          next.type === 'FUNCTION' ||
+          next.type === 'LPAREN';
+
+        if (curEndsOperand && nextStartsOperand) {
+          tokens.push({ type: 'OPERATOR', value: '*', implicit: true });
+        }
+      }
+    }
+
+    tokens.push({ type: 'EOF', value: '' });
+    return tokens;
+  }
+}
+
+let nodeIdCounter = 1;
+
+export function resetNodeIdCounter() {
+  nodeIdCounter = 1;
+}
+
+class PrattParser {
+  private tokens: Token[];
+  private pos = 0;
+
+  constructor(tokens: Token[]) {
+    this.tokens = tokens;
+  }
+
+  private current(): Token {
+    return this.tokens[this.pos];
+  }
+
+  private consume(expectedType?: TokenType): Token {
+    const token = this.current();
+    if (expectedType && token.type !== expectedType) {
+      throw new Error(
+        `Erwartet ${expectedType}, aber erhalten: ${token.type} (${token.value})`
+      );
+    }
+    this.pos++;
+    return token;
+  }
+
+  parse(precedence = 0): TermNode {
+    let left = this.parsePrefix();
+
+    while (true) {
+      const token = this.current();
+      if (token.type !== 'OPERATOR') break;
+
+      const opPrec = this.getInfixPrecedence(token.value);
+      if (opPrec <= precedence) break;
+
+      this.pos++;
+      left = this.parseInfix(left, token, opPrec);
+    }
+
+    return left;
+  }
+
+  private parsePrefix(): TermNode {
+    const token = this.current();
+
+    if (token.type === 'NUMBER') {
+      this.pos++;
+      const val = parseFloat(token.value);
+      return {
+        id: `n${nodeIdCounter++}`,
+        type: 'literal',
+        value: val,
+        raw: token.value,
+        symbol: token.value,
+        label: `Zahl ${token.value}`,
+        mathJson: val,
+        children: [],
+        depth: 0,
+      };
+    }
+
+    if (token.type === 'VARIABLE') {
+      this.pos++;
+      return {
+        id: `n${nodeIdCounter++}`,
+        type: 'variable',
+        raw: token.value,
+        symbol: token.value,
+        label: `Variable ${token.value}`,
+        mathJson: token.value,
+        children: [],
+        depth: 0,
+      };
+    }
+
+    if (token.type === 'FUNCTION') {
+      this.pos++;
+      const fnName = FUNCTION_MAP[token.value] || token.value;
+      let arg: TermNode;
+
+      if (this.current().type === 'LPAREN') {
+        this.consume('LPAREN');
+        arg = this.parse(0);
+        this.consume('RPAREN');
+      } else {
+        arg = this.parse(35); // higher than *, /, ^
+      }
+
+      const symbol = token.value === 'sqrt' ? '√' : token.value;
+
+      return {
+        id: `n${nodeIdCounter++}`,
+        type: 'function',
+        op: fnName,
+        symbol,
+        label: GERMAN_LABELS[fnName] || fnName,
+        mathJson: [fnName, arg.mathJson],
+        children: [arg],
+        depth: 0,
+      };
+    }
+
+    // Unary plus or minus
+    if (
+      token.type === 'OPERATOR' &&
+      (token.value === '-' || token.value === '+')
+    ) {
+      this.pos++;
+      const op = token.value;
+      const operand = this.parse(30); // Prefix unary precedence
+
+      if (op === '-') {
+        return {
+          id: `n${nodeIdCounter++}`,
+          type: 'operator',
+          isUnary: true,
+          op: 'Negate',
+          symbol: '−',
+          label: GERMAN_LABELS['Negate'],
+          mathJson: ['Negate', operand.mathJson],
+          children: [operand],
+          depth: 0,
+        };
+      } else {
+        return operand;
+      }
+    }
+
+    // Parentheses
+    if (token.type === 'LPAREN') {
+      this.pos++;
+      const expr = this.parse(0);
+      this.consume('RPAREN');
+      expr.isParenthesized = true;
+      return expr;
+    }
+
+    throw new Error(`Unerwartetes Zeichen: ${token.value || token.type}`);
+  }
+
+  private getInfixPrecedence(op: string): number {
+    switch (op) {
+      case '+':
+      case '-':
+        return 10;
+      case '*':
+      case '/':
+      case ':':
+        return 20;
+      case '^':
+        return 40;
+      default:
+        return 0;
+    }
+  }
+
+  private parseInfix(
+    left: TermNode,
+    token: Token,
+    precedence: number
+  ): TermNode {
+    const op = token.value;
+    const isRightAssoc = op === '^';
+    const nextPrec = isRightAssoc ? precedence - 1 : precedence;
+    const right = this.parse(nextPrec);
+
+    let opName = 'Add';
+    if (op === '-') opName = 'Subtract';
+    else if (op === '*') opName = 'Multiply';
+    else if (op === '/' || op === ':') opName = 'Divide';
+    else if (op === '^') opName = 'Power';
+
+    const symbol = OPERATOR_SYMBOLS[opName] || op;
+    const label = GERMAN_LABELS[opName] || opName;
+
+    return {
+      id: `n${nodeIdCounter++}`,
+      type: 'operator',
+      op: opName,
+      symbol,
+      label,
+      implicit: token.implicit,
+      mathJson: [opName, left.mathJson, right.mathJson],
+      children: [left, right],
+      depth: 0,
+    };
+  }
+}
+
+/**
+ * Calculates depths bottom-up:
+ * Leaves have depth 0.
+ * A parent node has depth = max(children.depth) + 1.
+ * Returns the maximum depth of the tree.
+ */
+export function calculateDepths(node: TermNode): number {
+  if (node.children.length === 0) {
+    node.depth = 0;
+    return 0;
+  }
+  let maxChild = 0;
+  for (const child of node.children) {
+    maxChild = Math.max(maxChild, calculateDepths(child));
+  }
+  node.depth = maxChild + 1;
+  return node.depth;
+}
+
+/**
+ * Parses an AsciiMath string into a TermNode AST with Math-JSON support.
+ */
+export function parseAsciiMath(input: string): TermNode {
+  resetNodeIdCounter();
+  const tokenizer = new Tokenizer(input);
+  const tokens = tokenizer.tokenize();
+  const parser = new PrattParser(tokens);
+  const root = parser.parse(0);
+  calculateDepths(root);
+  return root;
+}
+
+function getOperatorPrecedence(node: TermNode): number {
+  if (node.type !== 'operator') return 999;
+  if (node.isUnary) return 30;
+  switch (node.op) {
+    case 'Add':
+    case 'Subtract':
+      return 10;
+    case 'Multiply':
+    case 'Divide':
+      return 20;
+    case 'Power':
+      return 40;
+    default:
+      return 0;
+  }
+}
+
+function needsParens(
+  parent: TermNode,
+  child: TermNode,
+  isLeft: boolean
+): boolean {
+  if (child.isParenthesized) return true;
+  if (child.type !== 'operator') return false;
+
+  const pPrec = getOperatorPrecedence(parent);
+  const cPrec = getOperatorPrecedence(child);
+
+  if (cPrec < pPrec) return true;
+  if (cPrec === pPrec) {
+    // Subtraction and division are left-associative, right operand needs parentheses
+    if (!isLeft && (parent.op === 'Subtract' || parent.op === 'Divide'))
+      return true;
+  }
+  return false;
+}
+
+/**
+ * Generates LaTeX from the AST with embedded `\htmlId{...}` for KaTeX.
+ */
+export function astToAnnotatedLatex(node: TermNode): string {
+  if (node.type === 'literal') {
+    return `\\htmlId{${node.id}}{${node.raw}}`;
+  }
+
+  if (node.type === 'variable') {
+    // Greek letters support (e.g. \pi, \alpha)
+    const varName = GREEK_LETTERS.has(node.symbol)
+      ? `\\${node.symbol}`
+      : node.symbol;
+    return `\\htmlId{${node.id}}{${varName}}`;
+  }
+
+  if (node.type === 'function') {
+    const childLatex = astToAnnotatedLatex(node.children[0]);
+    let fnSymbol: string;
+    if (node.op === 'Sqrt' || node.symbol === '√' || node.symbol === 'sqrt') {
+      fnSymbol = `\\sqrt{${childLatex}}`;
+    } else if (node.symbol === 'abs') {
+      fnSymbol = `\\left|${childLatex}\\right|`;
+    } else {
+      fnSymbol = `\\operatorname{${node.symbol}}\\left(${childLatex}\\right)`;
+    }
+    return `\\htmlId{${node.id}}{${fnSymbol}}`;
+  }
+
+  if (node.type === 'operator') {
+    if (node.isUnary) {
+      const childLatex = astToAnnotatedLatex(node.children[0]);
+      return `\\htmlId{${node.id}}{-${childLatex}}`;
+    }
+
+    const left = node.children[0];
+    const right = node.children[1];
+
+    let leftLatex = astToAnnotatedLatex(left);
+    let rightLatex = astToAnnotatedLatex(right);
+
+    if (needsParens(node, left, true)) {
+      leftLatex = `\\left(${leftLatex}\\right)`;
+    }
+    if (needsParens(node, right, false)) {
+      rightLatex = `\\left(${rightLatex}\\right)`;
+    }
+
+    if (node.op === 'Add') {
+      return `\\htmlId{${node.id}}{${leftLatex} \\htmlId{op_${node.id}}{+} ${rightLatex}}`;
+    }
+    if (node.op === 'Subtract') {
+      return `\\htmlId{${node.id}}{${leftLatex} \\htmlId{op_${node.id}}{-} ${rightLatex}}`;
+    }
+    if (node.op === 'Multiply') {
+      // Implicit multiplication styling (e.g. 2a, 4ac, (2+a)(3-b))
+      const isImplicit =
+        node.implicit ||
+        (left.type === 'literal' &&
+          (right.type === 'variable' || right.type === 'function')) ||
+        (left.type === 'variable' && right.type === 'variable') ||
+        right.isParenthesized;
+      const opSymbol = isImplicit
+        ? ''
+        : ' \\htmlId{op_' + node.id + '}{\\cdot} ';
+      return `\\htmlId{${node.id}}{${leftLatex}${opSymbol}${rightLatex}}`;
+    }
+    if (node.op === 'Divide') {
+      return `\\htmlId{${node.id}}{\\frac{${leftLatex}}{${rightLatex}}}`;
+    }
+    if (node.op === 'Power') {
+      return `\\htmlId{${node.id}}{${leftLatex}^{${rightLatex}}}`;
+    }
+  }
+
+  return '';
+}

package/src/index.ts

@@ -1 +1,3 @@
 export { KmapTermTree } from './KmapTermTree.js';
+export { parseAsciiMath } from './asciimath-parser.js';
+export * from './model.js';

package/src/katex-css.ts

@@ -0,0 +1,7 @@
+import { css, CSSResult } from 'lit';
+
+// language=CSS
+export const katexStyles: CSSResult = css`
+  @font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_AMS-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_AMS-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_AMS-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Caligraphic-Bold.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Caligraphic-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Caligraphic-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Caligraphic-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Fraktur-Bold.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Fraktur-Bold.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Fraktur-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Fraktur-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Fraktur-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Fraktur-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Bold.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Bold.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-BoldItalic.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-BoldItalic.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-BoldItalic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Italic.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Italic.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Main-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Math-BoldItalic.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Math-BoldItalic.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Math-BoldItalic.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Math-Italic.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Math-Italic.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Math-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:700;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Bold.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Bold.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:italic;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Italic.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Italic.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Italic.ttf) format("truetype")}@font-face{font-display:block;font-family:"KaTeX_SansSerif";font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_SansSerif-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Script-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Script-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Script-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size1-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size1-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size1-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size2-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size2-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size2-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size3-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size3-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size3-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size4-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size4-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Size4-Regular.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Typewriter-Regular.woff) format("woff"),url(https://cdn.jsdelivr.net/npm/katex@0.16.21/dist/fonts/KaTeX_Typewriter-Regular.ttf) format("truetype")}.katex{font:normal 1.21em KaTeX_Main,math,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.19.1"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .katex-vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .katex-thinbox{display:inline-flex;flex-direction:row;max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .katex-hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.katex-root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .katex-stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}
+
+`;

package/src/model.ts

@@ -0,0 +1,57 @@
+export type NodeType = 'literal' | 'variable' | 'operator' | 'function';
+
+export interface TermNode {
+  id: string;
+  type: NodeType;
+  op?: string;
+  symbol: string;
+  label: string;
+  raw?: string;
+  value?: number;
+  isUnary?: boolean;
+  isParenthesized?: boolean;
+  implicit?: boolean;
+  mathJson: any;
+  children: TermNode[];
+  depth: number;
+  x?: number;
+  y?: number;
+  width?: number;
+  height?: number;
+}
+
+export interface TreeEdge {
+  fromNodeId: string;
+  toNodeId: string;
+  fromX: number;
+  fromY: number;
+  toX: number;
+  toY: number;
+}
+
+export const GERMAN_LABELS: Record<string, string> = {
+  Add: 'Summe',
+  Subtract: 'Differenz',
+  Multiply: 'Produkt',
+  Divide: 'Quotient',
+  Power: 'Potenz',
+  Negate: 'Gegenzahl (Negation)',
+  Sqrt: 'Quadratwurzel',
+  Sin: 'Sinus',
+  Cos: 'Kosinus',
+  Tan: 'Tangens',
+  Cot: 'Kotangens',
+  Ln: 'Natürlicher Logarithmus',
+  Log: 'Logarithmus',
+  Abs: 'Betrag',
+  Exp: 'Exponentialfunktion',
+};
+
+export const OPERATOR_SYMBOLS: Record<string, string> = {
+  Add: '+',
+  Subtract: '−',
+  Multiply: '·',
+  Divide: ':',
+  Power: '^',
+  Negate: '−',
+};