Use Agda's input method in other emacs mode?

Question

How do I use Agda's input method to enter unicode characters in non-Agda mode? I don't see its name showing up when I try set-input-method. The reason I want to use Agda's input method instead of TeX is because there are characters I want that can't enter in TeX.

Or, maybe an alternate question would be "How do I add more shortcuts to enter unicode characters in the existing TeX input method?"

Thank you very much

Answer 1

Add the following commands in your .emacs file:

;; Using the input method of Agda in LaTeX files.
(require 'agda-input)
(add-hook 'LaTeX-mode-hook
          (lambda () (set-input-method "Agda")))