DenverCoder1/latex-gboard-dictionary

Mathematical logic proof symbols

Open

#69 opened on Oct 7, 2021

View on GitHub
 (0 comments) (0 reactions) (0 assignees) (63 forks)github user discovery
beginner-friendlygood first issue

Repository metrics

Stars
 (507 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

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	⊭

Contributor guide

Research direction
Locate the dictionary file (e.g., latex.json or similar) in the repository, find the existing entries for similar symbols like \VDash and \Vdash, and add the missing symbols \nVDash and \nVdash following the same pattern (shortcut and replacement). Submit a pull request with the addition.
Tech stack
None
Domain
mobile
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
1
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Under 1 hour
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Basic understanding of LaTeX symbolsHow to edit a JSON or Python file (depending on the dictionary format)
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
90