Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

'\{' gets escaped during send to anki #6

Open
2 of 3 tasks
DaDevFox opened this issue Sep 6, 2024 · 4 comments
Open
2 of 3 tasks

'\{' gets escaped during send to anki #6

DaDevFox opened this issue Sep 6, 2024 · 4 comments
Labels
bug Something isn't working question Further information is requested

Comments

@DaDevFox
Copy link
Contributor

DaDevFox commented Sep 6, 2024

  • triage issue
  • resolve issue
  • add test case for escaped brackets in latex
@blueputty01 blueputty01 added the bug Something isn't working label Sep 10, 2024
@blueputty01
Copy link
Owner

Thanks for the report! Will spin up a minimal reproducible example for testing soon unless you've already taken up this issue

@blueputty01
Copy link
Owner

@DaDevFox can you provide an example of \{ in context? Did some digging for another issue (LaTeX conversion that's been bothering me for a while) and noticed that the markdown/html conversion package may consume \ in general.

Not sure if that's also the reason here.

@blueputty01
Copy link
Owner

@DaDevFox changed the markdown processor; can you confirm if this is still an issue?

@blueputty01 blueputty01 added the question Further information is requested label Sep 11, 2024
@blueputty01
Copy link
Owner

blueputty01 commented Sep 24, 2024

@DaDevFox this should be resolved; tested with

*Kleene Closure* proof by structural induction for regex to NFA: 
$\{x|x∈{ϵ}∨x∈L_1∨x∈L_1L_1∨…\}$
inductive hypothesis: assume a finite state machine exists for expression 
inductive step: **add S and F on outside and join them with epsilon**

next step: add test case

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working question Further information is requested
Projects
None yet
Development

No branches or pull requests

2 participants