|
|
|
|
|
by tom_
2582 days ago
|
|
In reality of course the only difference is that it gets spelled "colour"... One thing I'm surprised to have seen only once is use of ¬ as an escape character, because it's so reliably unused for anything at all. (I noticed in the code that this program, which needless to say was written at a UK company, had no way of escaping ¬ itself, presumably because nobody had ever needed that.) £ also seems a bit underused, but it's fairly specifically the UK's currency symbol, so it's not obvious else you'd use it for. (But I suspect only UK keyboards have these chars, so it's probably no bad thing.) |
|
As to why UK keyboards include it? Probably IBM, ¬ was the negation/not symbol in Z, it wouldn't surprise me if Hursley Park petitioned the rest of the company to ensure it was on the UK PC layout.
(This Z: https://en.wikipedia.org/wiki/Z_notation )