Received: from mail.proteosys.com ([213.139.130.197]) by nummer-3.proteosys with Microsoft SMTPSVC(6.0.3790.3959);
	 Sat, 25 Apr 2009 20:53:55 +0200
Received: by mail.proteosys.com (8.14.3/8.14.3) with ESMTP id n3PIrsgv032389
	for <rainer.schoepf@PROTEOSYS.COM>; Sat, 25 Apr 2009 20:53:54 +0200
Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94])
	by relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id n3PIme1e000915
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Sat, 25 Apr 2009 20:48:41 +0200
Received: from listserv.uni-heidelberg.de (localhost.localdomain [127.0.0.1])
	by listserv.uni-heidelberg.de (8.13.1/8.13.1) with ESMTP id n3PC04GG028540;
	Sat, 25 Apr 2009 20:48:40 +0200
Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 15.5) with
          spool id 276364 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Sat, 25 Apr
          2009 20:48:40 +0200
Received: from relay2.uni-heidelberg.de (relay2.uni-heidelberg.de
          [129.206.210.211]) by listserv.uni-heidelberg.de (8.13.1/8.13.1) with
          ESMTP id n3PImeke022456 for <LATEX-L@listserv.uni-heidelberg.de>;
          Sat, 25 Apr 2009 20:48:40 +0200
Received: from fmmailgate02.web.de (fmmailgate02.web.de [217.72.192.227]) by
          relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id n3PImQcw002448
          for <LATEX-L@listserv.uni-heidelberg.de>; Sat, 25 Apr 2009 20:48:30
          +0200
Received: from smtp08.web.de (fmsmtp08.dlan.cinetic.de [172.20.5.216]) by
          fmmailgate02.web.de (Postfix) with ESMTP id 48726FDB5BC2 for
          <LATEX-L@listserv.uni-heidelberg.de>; Sat, 25 Apr 2009 20:48:27 +0200
          (CEST)
Received: from [89.50.23.68] (helo=uwe.lueck) by smtp08.web.de with esmtp
          (SSLv3:DES-CBC3-SHA:168) (WEB.DE 4.110 #277) id 1LxmvK-0002Z5-00;
          Sat, 25 Apr 2009 20:48:26 +0200
X-Sender: uwe.lueck@pop3.web.de
X-Mailer: QUALCOMM Windows Eudora Version 5.1
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"; format=flowed
X-Sender: uwe.lueck@web.de
X-Provags-ID: V01U2FsdGVkX1+b/AkLaBSQkxQYNK2StUEdVR+hrR7lgorliYqw
              y35LlfnxTt+LN8ROwcdc9BDqB7a86v+FPMU5R4Ofb8a7Ka6ZSq FTJ0XDYlk=
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by
                      listserv.uni-heidelberg.de id n3PImeke022457
Message-ID:  <5.1.0.14.0.20090425202254.02784a60@pop3.web.de>
Date:         Sat, 25 Apr 2009 20:29:29 +0200
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
Sender: Mailing list for the LaTeX3 project <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
From: Uwe =?iso-8859-1?Q?L=FCck?= <uwe.lueck@WEB.DE>
Subject: Re: \in@ wrong?
To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE
Precedence: list
List-Help: <http://listserv.uni-heidelberg.de/cgi-bin/wa?LIST=LATEX-L>,
           <mailto:LISTSERV@LISTSERV.UNI-HEIDELBERG.DE?body=INFO%20LATEX-L>
List-Unsubscribe: <mailto:LATEX-L-unsubscribe-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Subscribe: <mailto:LATEX-L-subscribe-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Owner: <mailto:LATEX-L-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Archive: <http://listserv.uni-heidelberg.de/cgi-bin/wa?LIST=LATEX-L>
X-ProteoSys-SPAM-Score: -6.599 () BAYES_00,RCVD_IN_DNSWL_MED
X-Scanned-By: MIMEDefang 2.65 on 213.139.130.197
Return-Path: owner-latex-l@LISTSERV.UNI-HEIDELBERG.DE
X-OriginalArrivalTime: 25 Apr 2009 18:53:56.0015 (UTC) FILETIME=[2F5EC3F0:01C9C5D7]
Status: R
X-Status: 
X-Keywords:                  
X-UID: 5767

Correcting a mistake of mine:

>Date: Sat, 25 Apr 2009 18:24:08 +0200
>From: Uwe Lück <uwe.lueck@web.de>
>
>\def\in@#1#2{%
>  \def\in@@##1#1##2\in@@{%
>   \ifx\in@@##2\in@@\in@false\else\in@true\fi}%
>  \in@@#2\in@#1\in@@}
>
>With \in@{<pattern>}{<target>}, the emptiness test is correct unless 
><pattern><copy> is in <target> where <copy> is a copy of the actual \in@@. 
>The final split ##2 is non-empty iff <pattern> is in <target> or <patter> 
>is in <target> where <pattern> is <patter>\in@. (The latter case includes 
>that <pattern> could be a sequence of `\in@'s where ##2 would be one \in@.)

The final split ##2 is non-empty iff <pattern> is in <target> or <pat> ends 
<target> where <pattern> is <pat>\in@<ern> and <pat> starts with <ern>.

Cheers!!

     Uwe.