On Mon, Apr 7, 2014 at 2:26 PM, Brandon Allbery <allbery.b@gmail.com> wrote:

On Mon, Apr 7, 2014 at 5:14 PM, Alois Cochard <alois.cochard@gmail.com> wrote:

Understood and actually I forgot you can not use "_", so why not a symbol which don't look like a number?

I was also wondering how Turkish speakers/writers would react to that notation....

Native English speaker here.  My first thought was, "Oh, a iota.  And he's using it as a definite descriptor/anonymous variable.  Nice."

But then again, I took too many classes on Frege and Russell.