is: the branch of mathematics concerned with symbols and their manipulation according to defined rules.
Copyright 1997, The Open University