Added ability to remove symbols and propositions.
Also removed the 'available symbols' buttons