The negation of a root is part of a root system.