On Tue, 2024-01-02 at 06:17 -0800, Rich Shepard wrote: > Herbert, > > What's the AltGr chord? https://en.wikipedia.org/wiki/AltGr_key -- José Abílio