Box at the end of a remark

[Bas Spitters]

Dear users,

I want to put a qed-box at the end of all my remarks. I am using ams-book
The best way seems to be to redefine the theorem-style remark to include the 
\qed command which puts a box at the right place.

For an environment I would use:
\newenvironment{myremark}{\begin{remark}}{\qed\end{remark}}

But I can not find out how to do this for a theorem environment.

Second, I want lyx to use myremark instead of remark, when I select remark in 
lyx
What should I do to make lyx do this?

Thanks,

Bas

Re: LyX and Prosper

[Bas Spitters]

Dekel's page contains useful info:
http://www.math.tau.ac.il/~dekelts/slides/

I had to do some work to make it work for me. See below.

Good luck,

Bas Spitters

---

Combining prosper and LyX.

Tested on Linux (Redhat 7.0)
and  Solaris 7
LyX 1.1.6fix2

Get cluster.tar.gz for http://www.math.tau.ac.il/~dekelts/slides/
copy prosper.layout theorem.inc theorem-unnumbered.inc to ~/.lyx/layout

Put prosper2.cls somewhere where Tex can find it, i.e. put it in one of the 
directories of the TEXINPUTS environment
The same holds for dsfont.sty, if you want to run cluster.lyx.
(I found dsfont.sty at: 
http://mechatro2.me.berkeley.edu/resources/latex_resources/latex/dstroke/)

Do Edit/Reconfigure in LyX.
Restart LyX

Copy red-bullet-on-white.ps and similar files from the prosper-dir to the 
cluster directory.
Try cluster.lyx

Use View PDF. NOT: PDF (pdfLaTeX)

Remark: This does not seem to work very well under xpdf 0.92
But it does work with acroread.

Re: Sequent Calculi?

[Bas Spitters]

>  How can I write some expressions like this?
>
> A B
> - -
> A => B /\ (A\/B)
> --
>  A => B
>  -
>A
>
> This one doesn't mean anything, but you see the kind...
> I can't use a table, neither Fraction.

Have a look at

http://www.math.ucla.edu/~asl/

And look at Buss' proof-style. This seems to do exactly what you want.
LaTeX, so you might have to use ERT.

Good luck,

Bas Spitters

references in math

[Bas Spitters]

Dear LyX-users,

I would like to do the following:
(by 1)
a = b.

Where 1 is a reference to formula 1 (with label one). 
It works if I use \stackrel{\ref{one}}{=}.
But I would like to use the built-in LyX reference (Insert -> Cross
reference).

Is it possible to do this?

Bas Spitters
(I am using LyX 1.1.6fix2)

Re: Annotations

[Bas Spitters]

Herbert Voss wrote:
> 
> > Bas Spitters wrote:
> > >
> > maybe that there's a better solution with the package comment.
> 
> i had a look at it, and it's easier:
> 
> in latex preamble: \usepackage{comment}
> choose from the paragraph-style comment for your annotations.

I can not find "comment" in the list of paragraph-styles (maybe it's the
LyX version I am using: 1.0.4).
I used
\begin{comment} (in TeX)
This a paragraph with annotations.
\end{comment}   (in TeX)

This works fine.

Some things seem to go wrong when I place the \end{comment} on the same
line as the text, but I can easily avoid that.
 
> the first line of your text:
> \includecomment{comment}% annotations will be printed
> or
> \excludecomment{comment}% annotations will be ignored

Thanks, this does exactly what I want!

Bas Spitters

Annotations

[Bas Spitters]

Dear LyX-users,

I would like to make annotations in an article, in such a way that I can
print the article with or without the annotations. I.e. something like
this:

With annotations it would look like:
This is the main text.
This a paragraph with annotations.
This is the main text again.

Without annotations it would look like:
This is the main text.
This is the main text again.

I can probably find a way of doing this in LaTeX, but is there a nice
way of doing it in LyX?

Thanks,

Bas Spitters
PS: I am using version 1.0.4.