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

formalism: Use xelatex #22

Merged

mirryi merged 1 commit into master from xelatex

Oct 10, 2023

Member

mirryi commented Oct 10, 2023

Switch to xelatex as the engine so we can use Unicode.


          formalism: Use xelatex

7ceed61

mirryi merged commit f1701a7 into master

1 check passed

mirryi deleted the xelatex branch

October 10, 2023 04:44

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

Labels

None yet