요약

• LaTeX 입력 \frac{1}{2}가 수식 미리보기에서 문자 그대로 보이던 문제를 보정
• 백슬래시로 시작하는 LaTeX 명령어를 기존 Command 토큰 흐름에 태우도록 토크나이저 보강
• \frac{a}{b}를 기존 EqNode::Fraction으로 파싱하도록 연결
• \sqrt{...} 및 \sqrt[n]{...} 입력이 기존 제곱근 AST로 이어지는지 회귀 테스트 추가

Refs #143

배경

Issue #143은 LaTeX 입력 지원 전체를 다루는 큰 작업이다.

현재 수식 파서는 한컴 수식 문법(1 over 2, SQRT x 등)을 중심으로 동작하고 있고, LaTeX 형식의 \frac{1}{2} 같은 입력은 기존 수식 미리보기에서 정상적인 분수 구조로 연결되지 않았다.

이 PR은 전체 LaTeX 파서를 구현하지 않고, 미리보기에서 가장 눈에 띄는 기본 구조인 분수와 제곱근 입력만 기존 AST에 연결하는 1차 보정이다.

현상

기존 코드에서 \frac{1}{2}를 파싱하면 기대한 EqNode::Fraction이 아니라 다음과 같은 문자 조합으로 해석됐다.

Row([Text("\\"), Text("frac"), Number("1"), Number("2")])

그 결과 사용자가 LaTeX 분수를 입력해도 미리보기에는 분수선이 있는 수식이 아니라 \frac 텍스트에 가까운 형태로 보였다.

근본 원인

src/renderer/equation/tokenizer.rs가 백슬래시를 LaTeX 명령어 prefix로 처리하지 않았다.

토큰 흐름상 \frac가 하나의 명령어로 들어와야 parse_command()가 frac를 구조 명령으로 처리할 수 있는데, 기존에는 \와 frac가 분리되어 파서가 LaTeX 분수 명령을 인식할 수 없었다.

해결책

1. LaTeX 명령어 토큰화

src/renderer/equation/tokenizer.rs에 read_latex_command()를 추가했다.

백슬래시 뒤에 ASCII alphabetic 문자가 이어지는 경우:

• \frac → TokenType::Command, value frac
• \sqrt → TokenType::Command, value sqrt
• \pm → TokenType::Command, value pm

으로 기존 명령어 파서 경로에 연결한다.

2. LaTeX 분수 파싱

src/renderer/equation/parser.rs에서 FRAC 명령을 만나면 다음 두 그룹을 분자/분모로 읽어 기존 AST에 매핑한다.

\frac{a}{b} → EqNode::Fraction { numer: a, denom: b }

3. LaTeX indexed sqrt 보강

기존 SQRT 파싱 흐름에 LaTeX 형태의 index 문법을 추가했다.

\sqrt[3]{x} → EqNode::Sqrt { index: Some(3), body: x }

검증

신규 회귀 테스트

src/renderer/equation/tokenizer.rs

• test_latex_command_prefix
  • \frac{1}{2}가 Command("frac"), brace, number 토큰으로 분해되는지 확인

src/renderer/equation/parser.rs

• test_latex_frac
  • \frac{1}{2}가 EqNode::Fraction으로 파싱되는지 확인
• test_latex_quadratic_slice
  • x=\frac{-b \pm \sqrt{b^2}}{2a}에서 Fraction, ±, Sqrt가 모두 AST에 들어가는지 확인
• test_latex_sqrt_with_bracket_index
  • \sqrt[3]{x}가 index 포함 Sqrt로 파싱되는지 확인

테스트 실행 결과

• cargo test --lib test_latex 통과
  • 4 passed, 0 failed
• cargo test --lib equation 통과
  • 76 passed, 0 failed
• cargo test --lib 통과
  • 1106 passed, 0 failed, 1 ignored
• cargo build --lib 통과
• git diff --check HEAD~1..HEAD 통과

GitHub Actions

• Build & Test 통과
• Analyze Rust/Python/JS-TS 통과
• Canvas visual diff 통과
• CodeQL 통과
• WASM Build는 workflow 조건상 skipped

시각 검증

다음 스크린샷에서 \frac{1}{2}와 x=\frac{-b \pm \sqrt{b^2}}{2a}가 분수/제곱근 형태로 렌더링되는 것을 확인했다.

• mydocs/working/task_m100_143_stage1/latex_equation_preview.png

의도된 동작 변경

앞으로 백슬래시가 붙은 기본 LaTeX 명령어는 가능한 경우 기존 한컴 수식 AST 흐름으로 연결된다.

예:

• \frac{1}{2}는 문자 \frac가 아니라 분수로 렌더링
• \sqrt{b^2}는 기존 제곱근 노드로 렌더링
• \sqrt[3]{x}는 index 포함 제곱근으로 렌더링

비-목표

이 PR은 Issue #143 전체를 닫지 않는다.

다음 범위는 후속 작업 대상이다.

• LaTeX 환경 블록 파싱
• 수식 편집 UI 모드 전환
• 광범위한 LaTeX alias 지원
• full LaTeX parser 수준의 문법 호환성

변경 파일

Test plan

• cargo test --lib test_latex
• cargo test --lib equation
• cargo test --lib
• cargo build --lib
• git diff --check HEAD~1..HEAD
• GitHub Actions 확인
• 수식 미리보기 스크린샷 확인

메타

• Base 브랜치: main
• Head 브랜치: cskwork:task143-latex-frac-preview
• 관련 이슈: LaTeX 파서 구현: 듀얼 토크나이저 방식 LaTeX 입력 지원 #143
• 커밋: d5c7a22 — Task #143: LaTeX 분수 입력 미리보기 지원