Inserts Unicode symbols into cards by typing predefined key sequences, with a customizable symbol list that syncs per profile to AnkiWeb.
Addons by jefdongus
Addons whose GitHub repository belongs to jefdongus.
Addons whose GitHub repository belongs to jefdongus.
Inserts Unicode symbols into cards by typing predefined key sequences, with a customizable symbol list that syncs per profile to AnkiWeb.