Made class possymbol for positive symbols and documented it.