UnicodeInput

github.comtool

Find and copy Unicode characters with Agda-style shorthands.

from

PowerToys Run Plugins

added

2026-10-10

likes

0

PowerToys Run Plugins › Plugins: “Find and copy Unicode characters with Agda-style shorthands.”