1 Issue closed by 1 person

• [BUG] “∝” (U+221D) is missing

  #506 closed Jan 31, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• [BUG] some symbol+sequence are duplicated

  #505 commented on Jan 30, 2025 • 0 new comments

• Add an option to disable specific sequences

  #528 commented on Jan 30, 2025 • 0 new comments