Timeline for Need help in trying to understand an argument by V. A. Yankov on the nonrealizability of Scott's axiom
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 12 at 11:55 | comment | added | Ilia Smilga | It also seems to occur elsewhere in this paper, for example in the middle of the first page. (Surely $\vee \vee$ is not a thing, is it?) | |
| Feb 12 at 11:53 | comment | added | Ilia Smilga | The hypothesis about the line break seems plausible to me. The convention of repeating a relation (or even operation) symbol after a line break is fairly common in Soviet math texts. Well, having left Russia at the age of 9, I am maybe more familiar with popular math books than with research papers. But I think I have seen it in more serious texts as well. | |
| Jan 3 at 12:08 | answer | added | Gro-Tsen | timeline score: 1 | |
| Dec 26, 2023 at 12:39 | comment | added | Gro-Tsen |
@AsafKaragila Ah yes, now it works. I suspect there's a difference between MathJax when it is rendering on-the-fly as the question is being edited and MathJax when it renders the final text — or something. I've had similar problems a number of times before with sequences like \{ and \} (that I tend to replace by \lbrace and \brace because of this), or \, and \; — they display correctly in the final text, but the preview is (sometimes?) broken. I don't think this is related to my use of Unicode characters in the text.
|
|
| Dec 26, 2023 at 12:36 | history | edited | Gro-Tsen | CC BY-SA 4.0 |
typographic fix
|
| Dec 26, 2023 at 12:14 | comment | added | Asaf Karagila♦ |
This works for me $\&$ ($\&$). I suspect that the reason is that you've copy-pasted it out of some PDF or whatnot, so the symbols are actually not the ASCII ones, but somewhere up there in unicode-land instead, so MathJax isn't sure what to make of the escaped symbol. If you re-type it, it seems to work.
|
|
| Dec 26, 2023 at 11:37 | history | edited | Gro-Tsen | CC BY-SA 4.0 |
minor remark on double ⊃ sign
|
| Dec 26, 2023 at 11:34 | comment | added | Gro-Tsen | To add to the confusion, I had a MathJax problem in writing the ampersand sign in the formula that I'm mostly confused about, so I had to leave it out of the dollar signs (escaping it as backlash ampersand did not work). If someone knows what is going on here, please do fix. | |
| Dec 26, 2023 at 11:31 | history | asked | Gro-Tsen | CC BY-SA 4.0 |