IME to allow typing of APL symbols on Android