search

etosch / CS295A-S22

https://uvm.edu/~etosch/CS295A-S22
0 stars 5 forks source link

Blog post Jan 26th: Predicates #17

Closed ShapeOfMatter closed 2 years ago

CLAassistant commented 2 years ago

CLA assistant check
All committers have signed the CLA.

ShapeOfMatter commented 2 years ago

Do you use key bindings for the non-ascii characters and do you prefer it to math mode?

I'm still copy-pasting unicode manually, mostly form https://www.fileformat.info/info/unicode/category/Sm/list.htm I like the WYSIWYG of unicode-in-markdown, but it doesn't always play nicely with latex. It's probably time for me to start looking into systems "typing" non-ascii.

etosch commented 2 years ago

@davdar Do you have keybindings you like and frequently use for non-ASCII math characters? I figured it anyone did, it would be you.

davdar commented 2 years ago

Oh hey. I rolled my own keybindings. I use:

keybindings list (unicode character followed by input code, preceded by \, so \r to input a right arrow): https://github.com/davdar/dotfiles/blob/master/unicode/unicode-input.txt

vim config for above keybindings: https://github.com/davdar/dotfiles/blob/master/unicode/unicode.vim

emacs config for above keybindings: https://github.com/davdar/dotfiles/blob/master/unicode/unicode.el

Haskell script that generates these (if you want to configure): https://github.com/davdar/dotfiles/blob/master/unicode/UnicodeGen.hs

I also have sed scripts and latex->pdf makefiles that replace unicode characters with latex commands; let me know if that's something you're interested in as well.

ShapeOfMatter commented 2 years ago

I flagged conversations as resolved, which may not have been the right thing to do. Github still says "1 change requested", but won't tell me what that change is.