[julia-users] Re: Call for Unicode julia source examples

[Steven G. Johnson]

On Wednesday, July 16, 2014 3:56:49 PM UTC-4, Jake Bolewski wrote:

> That character is probably defined as a unicode 6 math symbol. 
>>
>> (No,  ¬ has been in Unicode since at least Unicode 4, and probably 
earlier.)