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.

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

Add QED #45

Closed
DenverCoder1 opened this issue Oct 1, 2021 · 0 comments · Fixed by #47
Closed

Add QED #45

DenverCoder1 opened this issue Oct 1, 2021 · 0 comments · Fixed by #47
Labels
beginner-friendly good first issue Good for newcomers

Comments

@DenverCoder1
Copy link
Owner

The following symbol can be added to the dictionary.

Please read the formatting guidelines explained in #5 to contribute!

\QED ∎

@DenverCoder1 DenverCoder1 linked a pull request Oct 1, 2021 that will close this issue
added QED symbol #47
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
beginner-friendly good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

added QED symbol pavi-ninjaac/LaTeX-Gboard-Dictionary
1 participant
@DenverCoder1