Schreibt ihr in einem deutschen Text Zahlen mit Komma oder Punkt als Dezimaltrennzeichen?
Laut Duden soll man ja die Zahl zwanzigkommadrei als 20,3 anschreiben. Ich finde diese Schreibweise unglaublich nervig, weil kein vernünftiges Programm (bc, LaTeX, sort, gnuplot, beliebige Programmiersprache von JavaScript bis Fortran) damit etwas anfangen kann. Da ich oft hier Fragen mit Rechnungen beantworte, stehe ich dann vor dem Problem, daß ich die Zahlen im Fragentext nicht mit c&p weiterverwenden kann, sondern jedes Mal händisch nachbearbeiten muß. Lästig.
Daher habe ich mir bereits als Student angewöhnt, auch in deutschen Texten immer nur Punkte zu schreiben, also 20.3, und ich finde das in jeder Hinsicht die superiore Schreibweise; man entgeht damit auch in mathematischer Notation dem Problem, daß f(20,3) eine Funktion von einer oder zwei Variablen sein kann oder daß man der Menge {0,1} ihre Mächtigkeit nicht ansieht (Abstände sind lahm und unterliegen außerdem potentiell einer Stauchung durch den Zeilenumbruchsalgorithmus).
Leider habe ich das Gefühl, daß ich damit ziemlich allein bin — als ich einmal ein Buch publiziert habe, hat mir der Lektor jeden Punkt geduldig zu einem Komma downgegradet. Seufz.
Deshalb hier&heute eine Umfrage: Wer schreibt (in deutschen Texten) Punkt und wer Komma?