On Tue, 2021-11-23 at 18:56 +0100, Christof Ressi wrote:
I think *changing* existing shortcuts is a bad idea. So I think we should leave the shortcuts as they were and use cmd+6 for the new list atom. After all, a list atom is *not* a drop-in replacement for a symbol atom (numbers and spaces are handled differently!)
+1
Roman