Added a stream operator to the symbolset.