idyll-lang/idyll

couldn`t convert string f \mathbin⨾ g \in \operatorname{hom}(A, C)

Open

#683 opened on Jan 26, 2021

View on GitHub
 (3 comments) (0 reactions) (0 assignees)JavaScript (1,977 stars) (97 forks)batch import
CompilerComponentsbughelp wanted

Description

Describe the bug

Idyll fails to render math formulae with ⨾ symbol.

To Reproduce Steps to reproduce the behavior:

  1. [Equation]f \mathbin⨾ g \in \operatorname{hom}(A, C)[/Equation]

Expected behavior

Idyll should show the formula correctly.

Desktop:

  • OS: NixOS
  • Browser: Firefox
  • Version: 84.0.2

Additional context

KaTeX actually shows this correctly: https://katex.org/?data=%7B%22displayMode%22%3Atrue%2C%22leqno%22%3Afalse%2C%22fleqn%22%3Afalse%2C%22throwOnError%22%3Atrue%2C%22errorColor%22%3A%22%23cc0000%22%2C%22strict%22%3A%22warn%22%2C%22output%22%3A%22htmlAndMathml%22%2C%22trust%22%3Afalse%2C%22macros%22%3A%7B%22%5C%5Cf%22%3A%22%231f(%232)%22%7D%2C%22code%22%3A%22f%20%5C%5Cmathbin%E2%A8%BE%20g%20%5C%5Cin%20%5C%5Coperatorname%7Bhom%7D(A%2C%20C)%22%7D. But it warns on a non-standard symbol, so if you enable strict mode, it throws an error. It seems like Idyll is overly strict on math, and there seems to be no option to make it less strict.

Contributor guide

Tech stack
javascript
Domain
frontend
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Familiarity with Idyll math syntaxBasic JavaScript
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
50
Research direction
Investigate how Idyll processes math equations, specifically the parsing of LaTeX like syntax. Compare with KaTeX behavior to identify where the strictness issue arises. Look at the math rendering module in the Idyll source code (likely under packages/idyll ast or similar) to find where the error is thrown for non standard symbols like ⨾. Consider adding an option to configure strictness or handle such symbols gracefully.