The Coq mailing list

[Kyle Stemen <bluelightning32 AT gmail.com>]

On Wed, Mar 2, 2016 at 1:50 AM, Pierre-Marie Pédrot pierre-marie.pedrot-at-inria.fr |coq-club/Example Allow| <rosh2tjoat AT sneakemail.com> wrote:

Yep. The engine I use is ibus:

https://en.wikipedia.org/wiki/Intelligent_Input_Bus

and the particular IME is latex-table, which was originally designed for
chinese but allows actually to use any input table based on a user-given
description file (you need to recompile it if you want to change it though).

https://github.com/acevery/ibus-table

https://github.com/acevery/ibus-table/blob/master/tables/additional/latex.txt

Thanks for pointing out this input method. I tried it and I like it.

I'm running Fedora and there was one little trick to the installation process. It appears that in later versions of ibus table, the latex table is no longer bundled by default; it was separated out into a different package and repository. See issue 1026: https://groups.google.com/forum/#!topic/ibus-devel/GZ3YABGkUpI

More specifically to install it on Fedora I had to:
1. Install the ibus-table-code package
2. Log out and log in
3. Go to the Region & Language page in the settings dialog.
4. Expand the other category in the add input source dialog.
5. Select Other (LaTeX).
 

I have installed it through Debian, with the ibus-table-latex package.

PMP