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.