Mathematica does this, and they solve the keyboard problem with floating palettes of symbols.