From 313673744f11987e0a01cd6c4bfba4cc89964005 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Sun, 17 Jan 2010 08:14:24 -0800 Subject: Close parenthesis. De Morgan is two words. --- txr.1 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/txr.1 b/txr.1 index 45daef2c..4427addc 100644 --- a/txr.1 +++ b/txr.1 @@ -2889,9 +2889,9 @@ that they are of some use. .SS Equivalence to Sets Regexp intersection is not essential; it may be obtained from complement and -union as follows, since DeMorgan's law applies to regular expression algebra: +union as follows, since De Morgan's law applies to regular expression algebra: (R1)&(R2) = ~(~(R1)|~(R2)). (The complement of the union of the complements of -R1 and R2 constitutes the intersection. This law works because the regular +R1 and R2 constitutes the intersection.) This law works because the regular expression operators denote set operations in a straightforward way. A regular expression denotes a set of strings (a potentially infinite one) in a condensed way. The union of two regular expressions R1 | R2 denotes the union of the set -- cgit v1.2.3