diff options
| -rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2925,7 +2925,7 @@ This is similar to the arithmetic rule A - B = A + -B: subtraction is equivalent to addition of the additive inverse. Set difference is a useful tool: it enables us to write a positive match which captures a more general set than what is intended (but one whose regular expression is far simpler -than a positive match for the exact set we want), then we can intersect +than a positive match for the exact set we want), then we can intersect this over-generalized set with the complemented set of another regular expression which matches the particulars that we wish excluded. |