I switched to us-altgr-intl (so now my native odd characters are altgr+whatever and otherwise en-us) and haven’t touched my native layout for 10y or so. So I h

I switched to us-altgr-intl (so now my native odd characters are altgr+whatever and otherwise en-us) and haven’t touched my native layout for 10y or so. So I have no issues with \