unaryMinus

operator fun Term.unaryMinus(): Term(source)