How to do the shortcut `Alt + =` typing the identity char ≡? By JamesPosted on May 3, 2022 Problem : I want to do the shortcut Alt + = which puts the identity char ≡. How to do […]