Here’s the output of my proofreading algorithm, which runs whenever I read something.
In the section Cardinal arithmetic, you have that the set X×Y is the cartesian product of A and B.
In The extended [positive] real line you have ‘with a an infinity element’.
In Hyperreal numbers you have ‘”the” hypperreal numbers’.
In your footnote to The surreal numbers you have ‘some a set of characteristic 0 “infinity kitchen sinks”’.
In Cardinal numbers (again), the words ‘set of’ should be used one more or at least 4 fewer times.
The world needed this article. I’m so glad you wrote it. It obviously needs to be in a more prominent place, and making it a wiki seems like a good idea.
In a comment, SFAIK, you don’t. How posts are written and how comments are written are not consistent. Though if you’re willing to rely on people defaulting to the correct encoding, you could always just paste the character in directly...
Here’s the output of my proofreading algorithm, which runs whenever I read something.
In the section Cardinal arithmetic, you have that the set X×Y is the cartesian product of A and B.
In The extended [positive] real line you have ‘with a an infinity element’.
In Hyperreal numbers you have ‘”the” hypperreal numbers’.
In your footnote to The surreal numbers you have ‘some a set of characteristic 0 “infinity kitchen sinks”’.
In Cardinal numbers (again), the words ‘set of’ should be used one more or at least 4 fewer times.
The world needed this article. I’m so glad you wrote it. It obviously needs to be in a more prominent place, and making it a wiki seems like a good idea.
Thanks, fixes made. LW doesn’t have a CW mode, so I guess I should post this on the actual wiki?
How do I get the × html entity?
In a comment, SFAIK, you don’t. How posts are written and how comments are written are not consistent. Though if you’re willing to rely on people defaulting to the correct encoding, you could always just paste the character in directly...
This site has proper Content-Type headers, so it should work fine in all sane browsers.
Oh, that’s good to know! I honestly didn’t think to check that. I’d forgotten they existed.
I’ll try that now.
It worked! (At least for me.)