posting this because I knew there was a program that could easily do it but I didn't know what that program was (its autohotkey, using the linked script)
https://lernu.net/forumo/temo/16768 doing this so that I can type esperanto special characters on my english DVORAK keyboard
the tactic is called `admit' because you're admitting that you don't know how to complete the proof
https://thenewleafjournal.com/how-to-find-substack-rss-feeds-and-other-notes/ retvurn to RSS (which substack does at /feed that's nice)
This is just an alias for `admit`, but that's way less fun than just going `give_up` in a proof you're finding too difficult
Moved to @TetraspaceGrouping