/**
* Handles when a symbol button is pressed
* @param e ActionEvent
*/
public void actionPerformed(ActionEvent e) {
SymbolButton button = (SymbolButton) e.getSource();
//add this symbol to the current progression
progression.add(button.getSymbol());
//update the progression label
this.updateProgressionLabel();
}