Re: How do I search for 9001 or 4001

[Joe Fineman]

Barry Margolin <barmar@alum.mit.edu> writes:

> In article <ur4qy8vj3.fsf@verizon.net>, Joe Fineman <joe_f@verizon.net> 
> wrote:

>> Live & learn.  I never thought of \| as an escaped |.  I thought it
>> was an approximation to the logicians' $\vee$ for "or".
>
> Then what are \( and \)?

Escaped parens, distinct in meaning from literal ones.  I have never
had occasion to include a bare | in a regexp, but would naively expect
it to stand for itself.  Bear in mind that I Am Not a Programmer, and
have never used regexps except in Emacs & Elisp.

I was not expressing any doubt about the proper interpretation as
revealed.
-- 
---  Joe Fineman    joe_f@verizon.net

||:  Money is like muck, no good unless it be spread.  :||