neongreen
commented
8 years ago We can't integrate Bob into any text input, but we can create a custom text input in Bob itself. Here's an example of how an interaction with it might look (simulated in Emacs):
A problem with this approach is as follows: how to enter “/”? Note that /+space can't mean “/”, because / / is a valid thing (e.g. unbreakable space). // can't mean “/” too, because //=/ is a valid thing that means “≠”. Perhaps instead of closing “/” I shall use Enter? Then /+Enter could mean “/”.
Could be useful when typing something math-heavy (so that it could be done without copying every symbol separately).