"An expression on or above the precedence level of logical negation. Not to be confused with the precedence level of [[*arithmetic* inversion|InvertingExpression]]." shared alias NegatingExpression => EquatingExpression|NotOperation;