QED-like symbol for examples and definitions
64 views
Skip to first unread message
Jason Underdown
Jun 20, 2016, 3:08:50 PM6/20/16
to MathBook XML Support
This previous thread began by discussing adding a QED symbol at the end of HTML proofs and some similar symbol to the end of examples, but then the thread got hijacked and went on to numbering systems of equations. Can we resurrect this thread here? I know that knowlization of examples solves this problem in HTML but what about LaTeX output?
And while we're at it, can we do something similar for definitions?
I would like to either
- add a symbol at the end like is frequently done in LaTeX
- change the background color of definitions
- add a box around definitions
I don't really care what method is chosen as long as it is easy to tell where the definition ends. It would be ideal if authors could choose from a few options such as the ones I listed above.
David Farmer
Jun 20, 2016, 3:23:42 PM6/20/16
to MathBook XML Support
Yet another option is the L-shaped line next to examples in
APEX calculus. You can download a PDF and look at it:
http://www.apexcalculus.com/downloads
This seems like yet another addition to the ever-growing list
of design/layout options to be discussed in the future,
hopefully in a month or so from now.
Note that some people are against a pick-and-choose approach,
where you separately decide whether or not definitions have
a box around them or a colored background, and similarly for
every other environment. What those people propose is a selection
of consistent well-though-out designs, and you get to pick one
of them.
Note also that the person preparing the annual print/PDF edition
of your book is likely to have to tweak the LaTeX
version: there will be lots of bad page/line breaks, for example.
That person may also wish to make changes like the color of the
background box on the definitions. It is too much to expect that
MBX can automatically produce the perfect print version.
On Mon, 20 Jun 2016, Jason Underdown wrote:
> This previous thread began by discussing adding a QED symbol at the end of HTML
> proofs and some similar symbol to the end of examples, but then the thread got
> hijacked and went on to numbering systems of equations. Can we resurrect this thread
> here? I know that knowlization of examples solves this problem in HTML but what
> about LaTeX output?
> And while we're at it, can we do something similar for definitions?
>
> I would like to either
> * change the background color of definitions
> * add a box around definitions
> I don't really care what method is chosen as long as it is easy to tell where the
> definition ends. It would be ideal if authors could choose from a few options such
> as the ones I listed above.
>
> --
> definition ends. It would be ideal if authors could choose from a few options such
> as the ones I listed above.
>
> You received this message because you are subscribed to the Google Groups "MathBook
> XML Support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> mathbook-xml-sup...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
>
Rob Beezer
Jun 20, 2016, 4:50:02 PM6/20/16
to mathbook-x...@googlegroups.com
Dear Jason,
On 06/20/2016 12:08 PM, Jason Underdown wrote:
> This previous thread
> <https://groups.google.com/d/msg/mathbook-xml-support/2Xz_mCn1WNg/W5P_SWXBBgAJ>
hijacked Mitch's "author bibliography" thread for names, but caught myself.
(Note to everbody: be a good netizen. Low barrier to starting a new thread, but
not by replying and changing the suject line, as I think Google is too smart by
half on that one.)
> I know
> that knowlization of examples solves this problem in HTML but what about LaTeX
> output?
Un-knowlize proofs and you'll see a faint line to the right, with a square at
its bottom, so you may not always want to use knowls for this purpose. (Or you
should see that now, if you pull and rebuild.) That's David at work with the CSS.
I agree this needs to be improved, since sometimes I can't even tell where my
own writing ends. I have an old branch where I experimented with tombstones
("Halmos"). Perhaps you know about \QEDhere when your last paragraph of a proof
ends with a displayed equation. My XSL-fu and the DTD might now allow me to get
that one right almost every time.
I agree with everything David says in his message. But until a scheme is in
place and a default house style is in place, I'd like to get something minimal
going, since the current PDF should be at least functional. In early FCLA PDFs
I used a different symbol for the end of different classes of blocks (proofs,
examples, definitions). It was a bit chaotic. I do engineering and assembly,
not design. ;-)
Any suggestions on symbols? (and what they go with?, and from
established/current packages, like textcomp?) See evolving classes of blocks
that are functionally equivalent in xsl/entitites.ent
If you make a ticket, I'll see if I can make some minimal progress (working on
LaTeX side-by-side right now). BTW, recent/current refactoring of blocks should
make David's "theme" project much easier to integrate with MBX output.
Rob
> And while we're at it, can we do something similar for definitions?
>
> I would like to either
>
> * add a symbol at the end like is frequently done in LaTeX
> * change the background color of definitions
> * add a box around definitions
On 06/20/2016 12:08 PM, Jason Underdown wrote:
> This previous thread
> began by discussing adding a QED symbol at the end of HTML proofs and some
> similar symbol to the end of examples, but then the thread got hijacked and went
> on to numbering systems of equations. Can we resurrect this thread here?
Of course! Don't you love it when a thread gets hijacked? ;-) I almost
> similar symbol to the end of examples, but then the thread got hijacked and went
> on to numbering systems of equations. Can we resurrect this thread here?
hijacked Mitch's "author bibliography" thread for names, but caught myself.
(Note to everbody: be a good netizen. Low barrier to starting a new thread, but
not by replying and changing the suject line, as I think Google is too smart by
half on that one.)
> I know
> that knowlization of examples solves this problem in HTML but what about LaTeX
> output?
its bottom, so you may not always want to use knowls for this purpose. (Or you
should see that now, if you pull and rebuild.) That's David at work with the CSS.
I agree this needs to be improved, since sometimes I can't even tell where my
own writing ends. I have an old branch where I experimented with tombstones
("Halmos"). Perhaps you know about \QEDhere when your last paragraph of a proof
ends with a displayed equation. My XSL-fu and the DTD might now allow me to get
that one right almost every time.
I agree with everything David says in his message. But until a scheme is in
place and a default house style is in place, I'd like to get something minimal
going, since the current PDF should be at least functional. In early FCLA PDFs
I used a different symbol for the end of different classes of blocks (proofs,
examples, definitions). It was a bit chaotic. I do engineering and assembly,
not design. ;-)
Any suggestions on symbols? (and what they go with?, and from
established/current packages, like textcomp?) See evolving classes of blocks
that are functionally equivalent in xsl/entitites.ent
If you make a ticket, I'll see if I can make some minimal progress (working on
LaTeX side-by-side right now). BTW, recent/current refactoring of blocks should
make David's "theme" project much easier to integrate with MBX output.
Rob
> And while we're at it, can we do something similar for definitions?
>
> I would like to either
>
> * change the background color of definitions
> * add a box around definitions
>
> I don't really care what method is chosen as long as it is easy to tell where
> the definition ends. It would be ideal if authors could choose from a few
> options such as the ones I listed above.
>
> I don't really care what method is chosen as long as it is easy to tell where
> the definition ends. It would be ideal if authors could choose from a few
> options such as the ones I listed above.
>
> --
> You received this message because you are subscribed to the Google Groups
> "MathBook XML Support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to mathbook-xml-sup...@googlegroups.com
> <mailto:mathbook-xml-sup...@googlegroups.com>.
> You received this message because you are subscribed to the Google Groups
> "MathBook XML Support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to mathbook-xml-sup...@googlegroups.com
Jason Underdown
Jun 20, 2016, 5:53:59 PM6/20/16
to MathBook XML Support, bee...@ups.edu
Keller, Mitch
Jun 21, 2016, 10:34:40 AM6/21/16
to mathbook-x...@googlegroups.com
>
> Any suggestions on symbols? (and what they go with?, and from established/current packages, like textcomp?) See evolving classes of blocks that are functionally equivalent in xsl/entitites.ent
Active Calculus uses \bowtie for the end of a preview activity and something like \triangleleft for the end of an activity. I like the look of both of those and think either would be suitable broadly for the project/activity/exploration type of things and possibly for examples as well. I see David has suggested an open diamond for the end of a definition on the issue tracker, and that seems reasonable to me, too.
> Any suggestions on symbols? (and what they go with?, and from established/current packages, like textcomp?) See evolving classes of blocks that are functionally equivalent in xsl/entitites.ent
Hopefully we’re going for sensible defaults but easy for authors to style these to their liking, since this is definitely style.
--
Mitch Keller
Assistant Professor of Mathematics
Washington & Lee University, Lexington VA
206 Robinson Hall ~ 540.458.8099 ~ http://www.rellek.net
Reply all
Reply to author
Forward
0 new messages