Thank you all for answers. I was unable to solve this using AutoHotkey -- PhilLho's answer was close, but I really needed exatly the same behaviour as with left Alt key.
但是,那注册表的东西 https://stackoverflow.com/questions/229633/how-to-globally-map-altgr-key-to-alt-key#396859实际上按照我的需要工作了。
将此另存为AltGR_to_LeftAlt.reg文件并运行它:
Windows Registry Editor Version 5.00
[HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\Keyboard Layout]
"Scancode Map"=hex:00,00,00,00,00,00,00,00,02,00,00,00,38,00,38,e0,00,00,00,00
Or, there is a GUI tool that does this for you -- it's called SharpKeys https://github.com/randyrants/sharpkeys and works peachy:
哦,别忘了重新启动或注销——直到那时它才起作用!