3
$\begingroup$

In a recent answer I've tried to hide some text. Unfortunately, something seems broken.

Here's the not-so-hidden text:

! Let $X$ be the set of complete theories that satisfy "everything is countable" and have unboundedly many $\alpha<\omega_1^L$ with $L_\alpha$ realising them. The theory of $L_{\omega_1^L}$ is one such theory, and we will be done if we prove that there are some others. Now $X$ is a definable class in $L_{\omega_1^L}$, and so it must have some other elements or else $L_{\omega_1^L}$ would admit a truth defintion ($\varphi$ is true in $L_{\omega_1^L}$ iff the unique element of $X$ contains $\varphi$).

I'm not sure what the bug is. The plain-text version of the passage also doesn't hide properly:

! let X be the set of complete theories that satisfy "everything is countable" and have unboundedly many \alpha<\omega_1^L realising them. the theory of L_{\omega_1^L} is one such theory, and we will be done if we prove that there are some others. but X is a definable class in L_{\omega_1^L}, and so it must have some other elements, or L_{\omega_1^L} would admit a truth defintion (\phi iff the unique theory in X satisfies \phi).

But spoilering latex seems to work fine:

This is some latex! $X$ $L_{\omega_1^L}$

$\endgroup$

1 Answer 1

9
$\begingroup$

Look at the source code1 - this part has a newline after each word:

! Spoiler with multiple lines - this does not work.

But this happens if I put the same text into a single line:

Spoiler without multiple lines - this seems to work.

Related posts on Meta Stack Exchange:

I will explicitly add that I have only tested this on desktop - not on any mobile device.

1You can access the source, for example, from the revision history.

$\endgroup$
5
  • $\begingroup$ Oh that's annoying. Thanks! $\endgroup$ Jan 11, 2023 at 17:43
  • $\begingroup$ Incidentally, how did you fix it? (I'm curious how to handle "invisible line breaks.") $\endgroup$ Jan 11, 2023 at 17:45
  • $\begingroup$ @NoahSchweber I have edited your answer - for me the spoiler now works as expected. (But it's up to you to say whether this is what you wanted.) I hope that somebody who knows more above this will give you a more detailed response - but I wanted to try at least some quick fix. $\endgroup$ Jan 11, 2023 at 17:45
  • $\begingroup$ Yup, that's great, although I don't actually understand what you changed. $\endgroup$ Jan 11, 2023 at 17:45
  • $\begingroup$ @NoahSchweber If you wish to, we can continue in chat - so that we do not leave many comments here. But I didn't really do anything beyond removing a newline. $\endgroup$ Jan 11, 2023 at 17:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .