## LATEX-L@LISTSERV.UNI-HEIDELBERG.DE

#### View:

 Message: [ First | Previous | Next | Last ] By Topic: [ First | Previous | Next | Last ] By Author: [ First | Previous | Next | Last ] Font: Proportional Font

Subject:

Re: Church booleans

From:

Date:

Wed, 12 Oct 2011 21:40:01 -0400

Content-Type:

text/plain

Parts/Attachments:

 text/plain (9 lines)
 2011/10/12 Lars Hellström <[log in to unmask]>: >  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.