user symbol panel

How do I remove a symbol form the user symbol panel?
How do I reorder the symbols in the symbol panel.

Barry MacKichan's picture

To remove a symbol, right

To remove a symbol, right click with the cursor on the symbl and select 'Remove symbol'.

To reorder the symbols is a bit awkward. We should improve on this. For now, the following works: drag a symbol to the panel tab where it says 'User'. This will *duplicate* the symbol at the beginning of the panel. Combining this operation with removing the symbol at its original position lets you get any order you want (i.e., generates the symmetric group). In a future version we will allow reordering by dragging to position.