+symbolic Cpp manual