tool

A gridwrench. Used for removing symbols and repairing symbols.