[NTG-context] [OT] Mini-keypad for typing math symbols