Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This is to continue the general discussion on this thread.
A general point (but particularly aimed at Tim), if there’s something that one does that doesn’t look right, but it’s not obvious how to correct it, please bring it to our attention here and make it obvious that it’s a question of formatting. Then someone can take a look at it there and then and see if there’s something obvious to correct it.
Good point. Toby’s comment has helped me get the Definitions looking better in various places.
One point that I have asked is about arrow heads in SVG. My Inkscape files have the arrow heads but they are not there on the final version on the screen here. (They are still in the file but do not show.)
Thanks.
Urs wrote here
so that it is possible to have a computer program scan the Lab for, say, all theorems and proofs asserting existence of limits in some categories
That sounds like it will take quite a bit of work on our part to formalise the structure of proof environments! Is there anything that we could do to help with that? (The next question is to consider whether ii’s reasonable to do that, but I’d rather see the answer to the first question first.)
Is there anything that we could do to help with that?
Yes, put the proof-environment not too far from the theorem-environment that it refers to, so that a computer program has a chance to decide correctly what the proof refers to.
Yes, put the proof-environment not too far from the theorem-environment that it refers to, so that a computer program has a chance to decide correctly what the proof refers to.
Normally, it comes directly afterwards, of course. But sometimes we may want to put it in an appendix (or another page).
Idea: Try to write the environment
+-- {: .proof}
###### Proof of Theorem \ref{foo}
blah, blah
=--
if it’s not directly below the proved theorem but on the same page, or
+-- {: .proof}
###### Proof of [Theorem 3](page name#foo) on [[page name]]
blah, blah
=--
if it’s on a different page (although now you have to fix the theorem number by hand).
A well designed computer program should be able to track those down.
1 to 6 of 6