- From: Arno Gourdol <arno@arno.org>
- Date: Thu, 23 May 2024 17:55:51 -0700
- To: Neil Soiffer <soiffer@alum.mit.edu>
- Cc: "www-math@w3.org" <www-math@w3.org>
- Message-ID: <CAGRYSkOtN_KmWKDroLRGmOvKR-VEn-3vQ3EsnC69bicT91-DsA@mail.gmail.com>
One thing that might be worth considering… Just like the decimal separator can be either a comma or a dot, but is always represented as a “.” in a <mn> element, perhaps the repeating digits could also be represented by a single convention when inside a <mn> element, but displayed according to the user’s preference. If you were to pick one convention, the parentheses have the convenience of being simple to represent, using only ASCII characters. So,<mn>0.(1)</mn> could be displayed as "0,(1)” in Poland and “1.1" in the US. On May 23, 2024 at 5:42:05 PM, Neil Soiffer <soiffer@alum.mit.edu> wrote: > @Arno: thanks for the link. > > In the Spanish and Portuguese braille spec, I had seen the arc notation > and was surprised by it. I hadn't seen parens, but apparently they are > common outside the English speaking world. > > Some notations for repeating are mentioned in the full spec: Section > 3.6.8.4 Repeating Decimal <https://w3c.github.io/mathml/#presm_repeatdec>.. > Just as the "..." doesn't fit into what is described there, I don't think > the parens do. However, maybe the arc notation does, although we don't have > a way to represent an arc that spans several digits (the overline works > because "msline" can span digits). > > Neil > > > On Thu, May 23, 2024 at 5:23 PM Arno Gourdol <arno@arno.org> wrote: > >> Yes, that’s a pretty common notation. It’s used in France, Austria, >> Denmark, Finland, the Netherlands, Norway, Russia, Ukraine, Vietnam and >> Israel. Some of those countries use a decimal comma others use a decimal >> point. >> >> See https://en.wikipedia.org/wiki/Repeating_decimal >> >> On May 23, 2024 at 5:08:23 PM, Neil Soiffer <soiffer@alum.mit.edu> wrote: >> >>> Somewhere else, someone said that in Poland, the notation for a >>> repeating decimal is >>> a,(b) >>> >>> Does anyone know of other languages that use this notation for repeating >>> decimals? >>> >>> Neil >>> >>>
Received on Friday, 24 May 2024 10:18:06 UTC