On Tue, 2 Jan 2024, José Matos wrote:
https://en.wikipedia.org/wiki/AltGr_key
José, That explains it: there's not an alt-graph key on US keyboards. Thanks, Rich -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
