Symbol for the potassium ion.