Anthony Di Franco@dfko_0·Nov 23, 2015Replying to @vgr@vgr you've just discovered rfc1345 or latex input method?1
Venkatesh Rao@vgrReplying to @dfko_0@dfko_0 I think this is all unicode. It's shortkeys on Mac. I don't know if there's tex middleware somewhere.10:58 PM · Nov 23, 2015
Anthony Di Franco@dfko_0·Nov 23, 2015Replying to @vgr@vgr I meant input method that translates tex to equivalent Unicode e.g. https://github.com/clarkgrubb/latex-input… Also same for this https://tools.ietf.org/html/rfc1345