end of proof signs

[Matthias Beck]

Dear All,

With Chrissy's and David's expert help, we've been working hard at producing a PreTeXt version of https://matthbeck.github.io/complex.html and it's been real fun. They've already checked with some of you about some MathJax issues we ran into.

But there is an inconsistent behavior with end-of-proof signs in the web output, which stumps me (and them). The attached screenshot is an example. I'm most surprised that the two incidences of the end-of-proof sign are spaced so differently. As far as I can tell, the code for both is isomorphic. (For what it's worth, I like the second spacing much better than the first.)

Thanks for any insight any of you might have.

Cheers,

Matt

[Oscar Levin]

Could you share a link to a live version with that behavior?  

--
You received this message because you are subscribed to the Google Groups "PreTeXt support" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pretext-suppo...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/pretext-support/c99dc5dd-bd8f-47de-b651-c97a5cc7255cn%40googlegroups.com.

[Matthias Beck]

Thanks Oscar.

Cheers,

Matt 

You received this message because you are subscribed to a topic in the Google Groups "PreTeXt support" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/pretext-support/iH3EifaaVcM/unsubscribe.
To unsubscribe from this group and all its topics, send an email to pretext-suppo...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/pretext-support/CAOU9BaW%3DmYaBxBDymT%3DSVoF-b69L9S2r37v50zUozud7nvDC3Q%40mail.gmail.com.

[OHappyDay]

I have a question: how do you get the end-of-proof sign into the html version of a book? I was unable to find a hint in the documentation or the sample article.

Thanks
Klaus

[David W. Farmer]

The appearance of proofs is part of the style the publisher chooses.

Most (maybe all current) styles use the "Greg's L" to delimit a proof,
and so to not get or need an end-of-proof marker.

On Thu, 7 Aug 2025, OHappyDay wrote:

> I have a question: how do you get the end-of-proof sign into the html version of a book? I was unable to find a hint in the documentation or the sample
> article.
>
> Thanks
> Klaus
>
> matt...@gmail.com schrieb am Mittwoch, 6. August 2025 um 23:46:40 UTC+2:
> Thanks Oscar.
> Front Matter
> davidaustinm.github.io

> [IMAGE]

> To view this discussion visit https://groups.google.com/d/msgid/pretext-support/8467a931-4bdb-47bb-8081-138a7a5ef1c3n%40googlegroups.com.
>
>

[David Austin]

I think Matt is referring to the two end-of-proofs markers here: Paragraph.  The difference could be that one proof is inside a #corollary and the other is not.  

To view this discussion visit https://groups.google.com/d/msgid/pretext-support/cf7ae54a-8af3-3e2f-d2b0-c38853e4804b%40aimath.org.

[Matthias Beck]

I'm still curious about this...

David -- I moved things in and out of #corollary, with no effect. 

Am I asking the wrong question? Has this sort of behavior appeared in other documents? 

Thanks,

matt 

[Andrew Scholer]

It looks like the difference comes from the paragraph preceding the marker. If that paragraph has an inline heading, the paragraph itself is "inline", which changes the behavior of the marker.

Oscar -
It looks like you could get the same basic location by removing the float from the :after that makes the marker and instead using:
position: absolute;
right: 1em;
bottom: 1.5em;

Only did a quick test in the browser dev-panel, so it probably needs more thorough testing.

To view this discussion visit https://groups.google.com/d/msgid/pretext-support/1fe8a9af-4ad6-46b9-8243-50320c74a1afn%40googlegroups.com.

[Oscar Levin]

I just discovered the same thing.  I will try to update the CSS for the Denver theme so the end of proof symbol's location is more consistent.

To view this discussion visit https://groups.google.com/d/msgid/pretext-support/CACm44N9FedXtcezj2x9eWYfS8SYue_T0mbdyhS2WMYCSeyZwxA%40mail.gmail.com.

[Matthias Beck]

Thanks much, Andrew and Oscar!

Matt 

To view this discussion visit https://groups.google.com/d/msgid/pretext-support/CAOU9BaWh8H-KSnKbiCAUobsQVghA4kmpRi-uTD6ia%2BvY3M-ufA%40mail.gmail.com.

[Oscar Levin]

This has been fixed and will be available in the next release of the CLI (likely Monday).  

Note that your book was using some custom CDs to get the black rectanlge instead of QED.  With the fix, I defaulted to the black rectangle, so you can remove at least this part of your custome css.

To view this discussion visit https://groups.google.com/d/msgid/pretext-support/C476C48C-EAD5-4F12-B942-C3B73A3664B7%40gmail.com.