I was thinking it should be the symbol for all, with ∃ for any.
On Wednesday, 15 October 2014 14:01:17 UTC+1, Erik Schnetter wrote: > > Ooh. ∀ i ∈ R... a new way to write for loops! > > -erik > > On Tue, Oct 14, 2014 at 10:48 PM, Pontus Stenetorp <[email protected] > <javascript:>> wrote: > > On 15 October 2014 11:35, Steven G. Johnson <[email protected] > <javascript:>> wrote: > >> On Tuesday, October 14, 2014 9:36:58 PM UTC-4, Pontus Stenetorp wrote: > >>> > >>> julia> ∀foo = [17, 4711] > >>> ERROR: syntax: invalid character "∀" > >> > >> > >> Julia only allows a subset of unicode math characters (category Sm) in > >> identifiers. ∀ hasn't been added to the whitelist yet. > >> > >> One reason why we have a whitelist is that we need to decide for each > math > >> symbol whether we want to parse it as part of an identifier or as an > >> operator (and infix or prefix, and with what precedence). It wasn't > >> completely clear to me whether we wanted ∀ to be an identifier or a > prefix > >> operator, so I punted on it when I last updated the identifier list. > > > > Thank you Steven, I was not aware that we whitelisted mathematical > > symbols, but rather only of the explicit introduction of operators in > > `julia-parser.scm`. Reserving ∀ for now makes perfect sense, so > > please do not count my initial e-mail as a vote in favour of turning > > it into a valid identifier. > > > > Pontus > > > > -- > Erik Schnetter <[email protected] <javascript:>> > http://www.perimeterinstitute.ca/personal/eschnetter/ >
