Symbol: nodes_andnot