Inserts Unicode symbols into Anki cards via predefined key sequences, with customizable symbol lists synced per profile and optional raw HTML support.
Addons by jefdongus
Addons whose GitHub repository belongs to jefdongus.
Addons whose GitHub repository belongs to jefdongus.
Inserts Unicode symbols into Anki cards via predefined key sequences, with customizable symbol lists synced per profile and optional raw HTML support.