If you encountered wrt_not in a specific codebase or tool, check the documentation for that system — it likely defines a set of rewrite rules or polarity-sensitive operations named with this convention.
elim_double_neg_wrt_not: ¬¬P → P Here, wrt_not indicates that the rule explicitly concerns the negation connective. wrt_not
Another example — pushing negation over disjunction: If you encountered wrt_not in a specific codebase