Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.user > #181505

Re: How to set ISO date/time with en_US.utf8 as system default?

From Jeremy Nicoll <jn.ml.dbn.25@letterboxes.org>
Newsgroups linux.debian.user
Subject Re: How to set ISO date/time with en_US.utf8 as system default?
Date 2017-05-27 17:50 +0200
Message-ID <tLM8x-5Sc-1@gated-at.bofh.it> (permalink)
References (8 earlier) <tLqUp-ef-15@gated-at.bofh.it> <tLGZc-1Sj-9@gated-at.bofh.it> <tLJaH-3Oy-35@gated-at.bofh.it> <tLLm9-5lF-9@gated-at.bofh.it> <tLLPb-5Ll-9@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On Sat, 27 May 2017, at 16:24, gwmfms6@openmailbox.org wrote:

> A lot of Europe does it, and it is wrong! It goes back quite a while to 
> when it was fashionable to use a dot (.) as a symbol for multiplication. 

I don't think it's a straightforward as that.

Mathematics (at university level) uses dot that way, sometimes.  But is
also
uses adjacency of symbols so eg "xy" means x times y, as may "x.y".

> So Europe stopped using a dot to signal a decimal point to avoid 
> confusion (they should have stopped stopped using a dot as a symbol for 
> multiplication). In the U.S. and G.B. an X was used for multiplication 
> symbol so they continued on using a dot for decimal (as it should be).

But mathematics also used dot and x to refer to concepts named
dot-product
and cross-product.  

In other words, what's acceptable/normal depends entirely on the
audience.

-- 
Jeremy Nicoll - my opinions are my own.

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-26 17:40 +0200
  Re: How to set ISO date/time with en_US.utf8 as system default? Greg Wooledge <wooledg@eeg.ccf.org> - 2017-05-26 17:50 +0200
    Re: How to set ISO date/time with en_US.utf8 as system default? Greg Wooledge <wooledg@eeg.ccf.org> - 2017-05-26 18:10 +0200
      Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-26 18:40 +0200
        Re: How to set ISO date/time with en_US.utf8 as system default? Greg Wooledge <wooledg@eeg.ccf.org> - 2017-05-26 18:50 +0200
          Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-26 19:00 +0200
            Re: How to set ISO date/time with en_US.utf8 as system default? Greg Wooledge <wooledg@eeg.ccf.org> - 2017-05-26 19:10 +0200
              Re: How to set ISO date/time with en_US.utf8 as system default? Curt <curty@free.fr> - 2017-05-27 12:20 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-27 14:40 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Curt <curty@free.fr> - 2017-05-27 16:30 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-27 17:20 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Curt <curty@free.fr> - 2017-05-27 17:40 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? rhkramer@gmail.com - 2017-05-27 20:10 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Curt <curty@free.fr> - 2017-05-27 22:00 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Frank <zuiderduin@gmx.com> - 2017-05-27 17:00 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-27 17:30 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Jeremy Nicoll <jn.ml.dbn.25@letterboxes.org> - 2017-05-27 17:50 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Nicolas George <george@nsup.org> - 2017-05-27 17:50 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-27 18:10 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? David Wright <deblis@lionunicorn.co.uk> - 2017-05-28 03:50 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? Greg Wooledge <wooledg@eeg.ccf.org> - 2017-05-30 14:50 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-30 18:30 +0200
                RE: How to set ISO date/time with en_US.utf8 as system default? "Emanuele Bernardi" <e.berna@posteo.net> - 2017-05-30 18:50 +0200
                RE: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-31 16:10 +0200
          Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-26 19:00 +0200
            Re: How to set ISO date/time with en_US.utf8 as system default? Greg Wooledge <wooledg@eeg.ccf.org> - 2017-05-26 19:10 +0200
              Re: How to set ISO date/time with en_US.utf8 as system default? gwmfms6@openmailbox.org - 2017-05-26 19:10 +0200
                Re: How to set ISO date/time with en_US.utf8 as system default? James Cloos <cloos@jhcloos.com> - 2017-05-27 20:50 +0200

csiph-web