Received: from mx0.gmx.net (mx0.gmx.net [213.165.64.100]) by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with SMTP id p9D1h5mt003918 for ; Thu, 13 Oct 2011 03:43:07 +0200 Received: (qmail 18162 invoked by alias); 13 Oct 2011 01:43:00 -0000 Delivered-To: GMX delivery to rainer.schoepf@gmx.net Received: (qmail invoked by alias); 13 Oct 2011 01:43:00 -0000 Received: from relay.uni-heidelberg.de (EHLO relay.uni-heidelberg.de) [129.206.100.212] by mx0.gmx.net (mx062) with SMTP; 13 Oct 2011 03:43:00 +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 p9D1eDkQ024680 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 13 Oct 2011 03:40:13 +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 p9CNP0lG001703; Thu, 13 Oct 2011 03:40:13 +0200 Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with spool id 1778954 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Thu, 13 Oct 2011 03:40:13 +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 p9D1eCBu001320 for ; Thu, 13 Oct 2011 03:40:12 +0200 Received: from mail-ey0-f177.google.com (mail-ey0-f177.google.com [209.85.215.177]) by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id p9D1e2VY013108 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=FAIL) for ; Thu, 13 Oct 2011 03:40:06 +0200 Received: by eye3 with SMTP id 3so1770656eye.22 for ; Wed, 12 Oct 2011 18:40:02 -0700 (PDT) MIME-Version: 1.0 Received: by 10.213.20.142 with SMTP id f14mr378963ebb.21.1318470001907; Wed, 12 Oct 2011 18:40:01 -0700 (PDT) Received: by 10.213.113.11 with HTTP; Wed, 12 Oct 2011 18:40:01 -0700 (PDT) References: <4E95A9C2.6020607@residenset.net> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by listserv.uni-heidelberg.de id p9D1eDBu001321 Message-ID: Date: Wed, 12 Oct 2011 21:40:01 -0400 Reply-To: Mailing list for the LaTeX3 project Sender: Mailing list for the LaTeX3 project From: Philipp Stephani Subject: Re: Church booleans To: LATEX-L@listserv.uni-heidelberg.de In-Reply-To: <4E95A9C2.6020607@residenset.net> Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-GMX-Antispam: 0 (eXpurgate); Detail=5D7Q89H36p6sJLDpZh614Kjz2nt6F3tHpqABMvA2vmMIgBtEPr2ucWbhxvO7kQ0G+5myV 8tkv/VUAI8AQdkyjdnXwebM4UganJ4Dt1lyd9lehtfiJ2rHpv9yadz4C2cmeZxLNDzZAHO8Dqoiy b0S/h7Eetn/WbaW9XC9N2xJZd27nLLInaMlDa4VGTUco6KS+iXvDdu2y3I=V1; X-Resent-By: Forwarder X-Resent-For: rainer.schoepf@gmx.net X-Resent-To: rainer@rainer-schoepf.de Status: R X-Status: X-Keywords: X-UID: 6931 2011/10/12 Lars Hellström : >  True = \lambda xy . x >  False = \lambda xy . y > > These may look strange, but turn out to be two objects that are very > familiar to us: \use_i:nn and \use_ii:nn respectively (or \@firstoftwo and > \@secondoftwo, for those who still think in 2e terms (like me)). This is in fact used by etoolbox's toggles.