Wie formatiere ich am besten Mengen mit Gleichkommazahlen?
Im Englischen ist der Fall relativ klar, da ist einfach:
\{0.5,0.75,0.8\}
\{0,5,0,75,0,8\}
Möglich wäre eventuell noch:
\{0{,}5,0{,}75,0{,}8\}
Wie wird das allgemein gehandhabt? Werden bei Mengen im Deutschen auch korrekterweise Punkte verwendet?
Danke!