Dear all, Some weeks a go I comitted a patch that declares a flag domain::positive and a few automatic simplifications related to positive symbols. Now I also declared a class possymbol in symbol.h to do the same as realsymbol that we already had. I documented this in the tutorial. Best, Chris