Действительно, спасибо!
Приложение называется Unexpected keyboard (довольно неожиданное название), надо пойти на
https://f-droid.org/ и в поиске приложений набрать это название.
Немного непривычно: на каждой клавише в центре основной символ (например, "y" для клавиши с caret), а в углах дополнительые символы (для этой клавиши в правом верхнем углу цифра 6, в левом нижнем символ ^). Если просто нажимаешь на клавишу, то печатается "y", если нажимаешь и, не отпуская, сдвигаешь палец по диагонали вверх-вправо, то печатается цифра 6, если сдвигаешь вниз-влево — то долгожданный символ ^. Немного непривычно (совсем не так, как на других Android-клавиатурах), у меня поначалу из-за задержки нажатия символ печатался многократно (хотелось бы настроить бо́льшую паузу перед повторением, попробую). Правда, пишу это сообщение всё-таки на компьютере (телефон я использую в основном в стесненных обстоятельствах, не всегда удобно носить с собой ноутбук, хотя мне приходится очень часто, в течение семестра минимум 2 раза в неделю, на свои спецкурсы, например).
Еще раз спасибо!