Jump to content

Talk:Choice sequence

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by ILikeThings (talk | contribs) at 22:49, 28 May 2009. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

I'll flesh this article out soon, I swears it. ILikeThings (talk) 07:58, 22 June 2008 (UTC)[reply]


"Let \alpha\in n denote the relation "the sequence α begins with the initial sequence n"" Is this notation really correct? \in is used in two different ways in the same formula. Twanvl (talk) 23:03, 13 May 2009 (UTC)[reply]

It's totally silly notation, I know. This is what I've seen in the literature, though. And I think it's used consistently throughout the article (as far as I can tell, the axiom of open data is the only place where the \in predicate is used twice, and it means the same thing in both cases). ILikeThings (talk) 22:49, 28 May 2009 (UTC)[reply]