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.

Sign up for GitHub

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

Jump to bottom

adding diacritic latex matching #1

Closed

rlucas7 opened this issue May 5, 2016 · 2 comments

Owner

rlucas7 commented May 5, 2016

match on:
Cram{'e}r

Owner Author

rlucas7 commented May 5, 2016

diacritic match on:

R{'e}nyi

Owner Author

rlucas7 commented May 14, 2016

added these matches via:

/title/s/[Cc]ram{\'e}r/{C}ram{\\’e}r/p
/title/s/[Hh]{\\”o}lder/{H}{\\”o}lder/p
/title/s/[Rr]{\\’e}nyi/{R}{\\’e}nyi/p

these are taken care of in commit: 127ae10

rlucas7 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment