DenverCoder1/latex-gboard-dictionary

Mathematical logic proof symbols

Open

#69 建立於 2021年10月7日

在 GitHub 查看
 (0 留言) (0 反應) (0 負責人) (63 fork)github user discovery
beginner-friendlygood first issue

倉庫指標

Star
 (507 star)
PR 合併指標
 (30 天內沒有已合併 PR)

描述

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	⊭

貢獻者指南

研究方向
在倉庫中找到字典文件（例如 latex.json 或類似文件），找到類似 \VDash 和 \Vdash 的現有條目，並按照相同模式添加缺失的符號 \nVDash 和 \nVdash（快捷方式和替換內容）。提交包含此添加內容的拉取請求。
技術棧
無
領域
mobile
議題類型
功能
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
1
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
1 小時以內
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
活躍
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
清晰
前置要求
Basic understanding of LaTeX symbolsHow to edit a JSON or Python file (depending on the dictionary format)
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
90