[13:23] <`marianne`> hello!
[19:52] <AlanBell> hi `marianne` 
[19:52]  * AlanBell always likes to be reminded where to find the backtick key
[20:00] <JanC> AlanBell: it's AltGr+µ (on a Belgian keyboard)  :P
[20:08] <maco> its unshift ~ on a US keyboard
[20:58] <AlanBell> unshifted ¬ on mine
[21:20] <maco> AlanBell: why is that even a main key on your layout?
[21:20] <maco> how many people REALLY do ...whatever kind of math that is.. frequently enough to warrant that?
[21:20] <AlanBell> because I am a crazy brit
[21:21] <AlanBell> set negation operator or something I think
[21:22] <AlanBell> nope, just logical "NOT"
[21:22] <AlanBell> http://en.wikipedia.org/wiki/Negation
[21:23] <maco> when is it *used* for logical not outside of set theory?
[21:23] <maco> programmers use !
[21:23] <maco> normal people type the word "not"
[21:23]  * AlanBell has ¬ever used it
[21:24] <maco> its like having the upside U for intersection on the keyboard. some maths professor somewhere is happy, and everyone else is confused
[21:50] <JanC> maco: I guess it reflects what people were using computers in the early 1980s...
[21:51] <maco> american keyboards on computers almost completely match typewriters, with one exception: 1 and l are two different keys
[21:51] <JanC> eh
[21:52] <JanC> maco: my parents have an ancient American typewriter, which has separate 1 & l  :P
[21:53] <JanC> an "Underwood" machine
[21:53] <maco> oh, mine just has an l key
[21:53] <JanC> IIRC
[21:54] <JanC> maybe also depends on how old it is
[21:55] <maco> mine's late 80s
[21:55] <maco> i think
[21:57] <JanC> maco: eh, late 1880s or 1980s ?  ;)
[21:57] <maco> 1980s :P
[21:58] <JanC> the machine I'm talking about is definately closer to 100 yo than 30 yo  :P
[22:00] <JanC> https://upload.wikimedia.org/wikipedia/commons/6/6d/The_Childrens_Museum_of_Indianapolis_-_Typewriter.jpg --> this looks more or less like it
[22:03] <maco> yeah, mine's electric
[22:03] <JanC> actually, it seems like many of their models lack a "1" key indeed
[22:05] <JanC> I thought it had a "1" key, maybe I should re-check, but I don't remember lacking it
[22:05] <JanC> or maybe they had different models outside the US