Skip to content

Instantly share code, notes, and snippets.

@fluiddynamics

fluiddynamics/DefaultKeyBinding.dict

Created August 17, 2016 18:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fluiddynamics/03a0f2268cccf1d9f27f3c930def4a60 to your computer and use it in GitHub Desktop.
Save fluiddynamics/03a0f2268cccf1d9f27f3c930def4a60 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
DefaultKeyBinding.dict
{
"~c" = ( "insertText:", "→" );
"~C" = ( "insertText:", "⇒" );
"~g" = ( "insertText:", "γ" );
"~G" = ( "insertText:", "Γ" );
"~o" = ( "insertText:", "⊥" );
"~O" = ( "insertText:", "⊤" );
"~d" = ( "insertText:", "⊃" );
"~s" = ( "insertText:", "⊂" );
"~S" = ( "insertText:", "∈" );
"~h" = ( "insertText:", "∨" );
"~H" = ( "insertText:", "∧" );
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment