Lokey

On-screen keyboard for logic symbols and multiple languages.

Lokey is a floating on-screen keyboard designed for students, researchers, programmers, philosophers, mathematicians, and language learners who frequently type specialized symbols. Instead of memorizing Unicode shortcuts or searching the web for symbols, Lokey gives you instant access through a clean, draggable keyboard that works directly inside text fields. Features • Logic symbols (∀ ∃ ¬ ∧ ∨ → ↔ □ ◇ ⊢ ⊨ and more) • Mathematics operators and notation • Greek alphabet with Caps Lock support • Arabic alphabet • Physics symbols and constants • Statistics notation • Draggable, resizable floating keyboard • Light and dark themes • Works in text boxes and editable content across supported websites • Fast one-click symbol insertion Perfect for Formal Logic Mathematics Computer Science Philosophy Physics Statistics Arabic learners Greek notation Academic writing Research papers Lokey is built to be lightweight, intuitive, and distraction-free, helping you write specialized notation without interrupting your workflow.