is it possible to enable quail when using meow-till or meow-find to jump to a unicode symbol?

[capfredf]

This might be a niche request. A lot of lean/agda programs contain math symbols and Greek letters such as ⇒→⊥. isearch supports quail quite well so that I can turn on quail to search for symbols. But I am spoiled by meow right now. How can I make meow-till and meow-find work with quail?

[DogLooksGood]

I'm afraid you can't now. What would be the expected behavior?

[capfredf]

I am attaching a screencast where I use isearch to search for the symbol × (a multiplication sign).

Screencast.from.2024-10-05.11-03-29.webm

By default, when an input method is enabled for a buffer, a user is able to use that method in the isearch buffer. As shown in the example above, [⊓] after I-search indicates the Agda input method is also enabled for the minibuffer, and thus I can type \x to get the symbol ×.

[DogLooksGood]

Unlike isearch, meow-find, meow-till use a different way to read input, and currently the input method is not supported.