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

Mathematical logic proof symbols #69

Open
DenverCoder1 opened this issue Oct 7, 2021 · 0 comments
Open

Mathematical logic proof symbols #69

DenverCoder1 opened this issue Oct 7, 2021 · 0 comments
Labels
beginner-friendly good first issue Good for newcomers

Comments

@DenverCoder1
Copy link
Owner

DenverCoder1 commented Oct 7, 2021 •
edited
Loading

Before submitting a PR, please read the pinned issue for instructions.

You may choose to add one or a few, to leave some for others to contribute.

A few missing symbols:

\nVDash	⊯	
\nVdash	⊮

Already added (#74, #75, #78, #83, #85):

\models	⊧	
\nequiv	≢	
\VDash	⊫	
\Vdash	⊩
\Vvdash	⊪	
\nvdash	⊬	
\vDash	⊨	
\nvDash	⊭
DenverCoder1 pushed a commit that referenced this issue Oct 24, 2021
@raideva
Adding few symbol from #69 (#74)
bb77800
zivdar001matin added a commit to zivdar001matin/latex-gboard-dictionary that referenced this issue Sep 30, 2022
@zivdar001matin
Adding few symbol from DenverCoder1#69 (DenverCoder1#81)
a73f921
zivdar001matin added a commit to zivdar001matin/latex-gboard-dictionary that referenced this issue Oct 1, 2022
@zivdar001matin
Adding triangleq symbol from DenverCoder1#69
d128ec5
DenverCoder1 pushed a commit that referenced this issue Oct 1, 2022
@zivdar001matin
Adding triangleq symbol from #69 (#81)
58bc73d
Deepshaded added a commit to Deepshaded/latex-gboard-dictionary that referenced this issue Oct 4, 2022
@Deepshaded
Adding Mathematical logic proof symbol from DenverCoder1#69
1b2254f
@Deepshaded Deepshaded mentioned this issue Oct 4, 2022
Merged
DenverCoder1 pushed a commit that referenced this issue Oct 4, 2022
@Deepshaded
feat: Adding nvDash logic proof symbol from #69 (#85)
cd02ca5
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

No branches or pull requests
1 participant
@DenverCoder1