Add new symbols to alphabet

[FranciscoKnebel]

I don't believe there is a way to edit your alphabet after you already defined it, other than reloading the page and starting over.

[Aleuck]

you can still save the machine and edit the JSON file manually. I will think about adding this functionality to the interface, though.