doc SymbolicObj3 constructors