Skip to content

Adding new symbols to the diagram doesn't follow the intended naming policy

See title, symbol names default to integers instead of e.g. Auxiliary1.