The Wayback Machine - https://web.archive.org/web/20211203233856/https://github.com/topics/keyboard-shortcuts
Skip to content
#

keyboard-shortcuts

Here are 342 public repositories matching this topic...

key-mapper
DenverCoder1
DenverCoder1 commented Oct 7, 2021

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:

\vDash	⊨	
\nVDash	⊯	
\nVdash	⊮	
\nvDash

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

\models	⊧	
\nequiv	≢	
\VDash	⊫	
\Vdash	⊩
\Vvdash	⊪	
\nvdash	⊬	

Improve this page

Add a description, image, and links to the keyboard-shortcuts topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the keyboard-shortcuts topic, visit your repo's landing page and select "manage topics."

Learn more