-inline int ldegree(const symbol & a, const ex & s)
-{ return a.ldegree(s); }
+
+/** Specialization of symbol to real positive domain */
+class possymbol : public realsymbol
+{
+public:
+ possymbol();
+ explicit possymbol(const std::string & initname);
+ possymbol(const std::string & initname, const std::string & texname);
+
+ unsigned get_domain() const { return domain::positive; }
+
+ possymbol* duplicate() const { return new possymbol(*this); }
+};
+GINAC_DECLARE_UNARCHIVER(possymbol);