Talk:Vector space

Triple primes do not work?? On my screen they do. Paul, it should be something wrong with your css or whatever. Not a good reason to edit the article(s). --Boris Tsirelson 07:33, 7 June 2011 (EDT)

No it is not my css (I commented out everything and deleted anything substantial). I have a new computer on which I use Firefox-4. Triggered by your comment, I found out just now, by comparison with IE 9, that the problem is in FF-4. This raises a question of principle: when an author finds that typesetting does not appear as expected, what is she/he expected to do: download another browser and use that in the future, use another computer or OS, fix it her/him self, or ignore it? I chose the third possibility.--Paul Wormer 08:27, 7 June 2011 (EDT)

Paul, (1) your (third) email to me did not show me the difference, since it shows talk page, not the article; but never mind, I trust you that it depends on the browser. (2) About the "third possibility" I am not sure. Did you check the result on most of browsers/systems? (Rhetoric question) Should each editor adapt the text to his own environment? (Rhetoric question again) I think, as a rule each editor should use the recommended syntax. If there is a technical problem, it should be discussed with Thomas. If after all discussions the community will decide that for now it is worth to adapt the syntax to the existing, too hard and persistent technical problem, then of course... --Boris Tsirelson 10:38, 7 June 2011 (EDT)

The third e-mail showed as an example this talk page with the word "commented" in triple quotes. The very same version of the this talk page is shown in the e-mail: on the left in FF ("commented" not bold in preview) and on the right in IE ("commented" bold in preview).

But my problem is solved, presumably an old CSS definition had remained in the FF cache which was not in the IE cache. It surprises me that a CSS definition is cached; I thought that the text itself (after application of CCS rules, i.e., including the boldface letters) would have been cached, not the CSS rules. The text of the talk page was changed several times (by you and by me, the word "commented" between triple quotes was added among other things) and yet the triple quotes behaved quite different in FF than in IE. After I cleared my FF cache everything was fine.--Paul Wormer 11:40, 7 June 2011 (EDT)

I see. An interesting phenomenon. --Boris Tsirelson 11:44, 8 June 2011 (EDT)