]> git.lyx.org Git - lyx.git/blob - lib/examples/amsart-test.lyx
Update docbook example
[lyx.git] / lib / examples / amsart-test.lyx
1 #LyX 1.5.0svn created this file. For more info see http://www.lyx.org/
2 \lyxformat 245
3 \begin_document
4 \begin_header
5 \textclass amsart
6 \language english
7 \inputencoding default
8 \fontscheme default
9 \graphics default
10 \paperfontsize default
11 \spacing single
12 \papersize default
13 \use_geometry false
14 \use_amsmath 0
15 \cite_engine basic
16 \use_bibtopic false
17 \paperorientation portrait
18 \secnumdepth 3
19 \tocdepth 3
20 \paragraph_separation indent
21 \defskip medskip
22 \quotes_language english
23 \papercolumns 1
24 \papersides 2
25 \paperpagestyle default
26 \tracking_changes false
27 \output_changes true
28 \end_header
29
30 \begin_body
31
32 \begin_layout Title
33
34 Test of AMS-Art Style
35 \end_layout
36
37 \begin_layout Author
38
39 David L.
40  Johnson
41 \end_layout
42
43 \begin_layout Address
44
45 Department of Mathematics
46 \newline
47 Lehigh University
48 \newline
49 Bethlehem, PA 18015
50 \end_layout
51
52 \begin_layout Current Address
53
54 Home
55 \end_layout
56
57 \begin_layout Email
58
59 dlj0@lehigh.edu
60 \end_layout
61
62 \begin_layout URL
63
64 http://www.lehigh.edu/~dlj0/dlj0.html
65 \end_layout
66
67 \begin_layout Keywords
68
69 Test
70 \end_layout
71
72 \begin_layout Thanks
73
74 To Emmanuel, for forcing me to fix this, and Jean-Marc, for making it possible,
75  and necessary.
76  Also to Mate, who suggested numerous improvements.
77 \end_layout
78
79 \begin_layout Dedicatory
80
81 To my wife.
82 \end_layout
83
84 \begin_layout Translator
85
86 Joe
87 \end_layout
88
89 \begin_layout Subjectclass
90
91 Primary: 12G34, Secondary: 09G87
92 \end_layout
93
94 \begin_layout Abstract
95
96 This is not very abstract.
97  Note that the abstract must be part of the title stuff for AMS.
98  LyX is aware of that since version 0.12.1.
99  Good.
100  
101 \end_layout
102
103 \begin_layout Section
104
105 Introduction
106 \end_layout
107
108 \begin_layout Standard
109
110 This file, and any amsart-* LyX file, can be converted to either of the
111  numbering schemes by simply changing the document class in the 
112 \family sans
113 \bar under
114 L
115 \bar default
116 ayout-
117 \bar under
118 D
119 \bar default
120 ocument
121 \family default
122  popup.
123  The styles are:
124 \end_layout
125
126 \begin_layout Enumerate
127
128 amsart - The standard AMS-article format.
129  All results and similar statements are numbered as 
130 \begin_inset Formula $(n.m)$
131 \end_inset
132
133 , where the first number refers to the section, and the second refers to
134  the total number of results (Theorems, Corollaries, Propositions, Definitions
135  and Remarks, etc.) in that section.
136  There are also many (but not all) environments available unnumbered, which
137  is occasionally needed.
138  Unnumbered environments indicated by an asterisk at the end.
139 \end_layout
140
141 \begin_layout Enumerate
142
143 amsart-seq - Here, numbering for each type of statement is in its own sequence,
144  with no reference to the section number.
145  There are also many (but not all) environments available unnumbered, which
146  is occasionally needed.
147 \end_layout
148
149 \begin_layout Theorem
150
151 This is a numbered theorem
152 \end_layout
153
154 \begin_layout Proof
155
156 Here is its proof.
157  Here is its proof.
158  Here is its proof.
159  Here is its proof.
160  Here is its proof.
161  Here is its proof.
162  
163 \end_layout
164
165 \begin_layout Standard
166
167 More text.
168  Note that two occurrences of the same environment, like two definitions,
169  need to be separated somehow.
170  For the moment, the best way is to include a paragraph with a %, in the
171  LaTeX environment, if you really want two definitions (or whatever) together,
172  with no intervening text of another sort.
173 \end_layout
174
175 \begin_layout Theorem*
176
177 This is an unnumbered theorem
178 \end_layout
179
180 \begin_layout Proof
181
182 Here is its proof.
183  Here is its proof.
184  Here is its proof.
185  Here is its proof.
186  Here is its proof.
187  Here is its proof.
188 \end_layout
189
190 \begin_layout Corollary
191
192 First corollary.
193 \end_layout
194
195 \begin_layout Proof
196
197 Its proof.
198 \end_layout
199
200 \begin_layout Corollary*
201
202 Unnumbered corollary.
203  
204 \end_layout
205
206 \begin_layout Standard
207
208
209 \begin_inset ERT
210 status collapsed
211
212 \begin_layout Standard
213 %
214 \end_layout
215
216 \end_inset
217
218
219 \end_layout
220
221 \begin_layout Corollary*
222
223 A second, with no intervening text.
224  Note the % to force a separation.
225 \end_layout
226
227 \begin_layout Lemma
228
229 Lemma number 1
230 \end_layout
231
232 \begin_layout Proposition
233
234 First proposition.
235 \end_layout
236
237 \begin_layout Proposition*
238
239 Unnumbered version.
240 \end_layout
241
242 \begin_layout Conjecture
243
244 A wild guess.
245 \end_layout
246
247 \begin_layout Conjecture*
248
249 So wild I didn't number it.
250 \end_layout
251
252 \begin_layout Criterion
253
254 Need some criteria
255 \end_layout
256
257 \begin_layout Algorithm
258
259 first this, then the next
260 \end_layout
261
262 \begin_layout Fact
263
264 Not fiction.
265 \end_layout
266
267 \begin_layout Fact*
268
269 Bald statement of fact.
270  Unnumbered environments are often used for emphasis, or in a short presentation
271  that doesn't require numbered results.
272  
273 \end_layout
274
275 \begin_layout Axiom
276
277 It stands to reason.
278 \end_layout
279
280 \begin_layout Definition
281
282 a word means exactly what I say it means.
283 \end_layout
284
285 \begin_layout Definition*
286
287 Unnumbered.
288 \end_layout
289
290 \begin_layout Standard
291
292 Plain text.
293  Plain text.
294  Plain text.
295  Plain text.
296  Plain text.
297  Plain text.
298  Plain text.
299  Plain text.
300  Plain text.
301  Plain text.
302  
303 \end_layout
304
305 \begin_layout Example
306
307 This should be an example.
308 \end_layout
309
310 \begin_layout Standard
311
312 Plain text.
313  Plain text.
314  Plain text.
315  Plain text.
316  Plain text.
317  Plain text.
318  Plain text.
319  Plain text.
320  Plain text.
321  Plain text.
322  Plain text.
323  Plain text.
324  Plain text.
325  
326 \end_layout
327
328 \begin_layout Condition
329
330 If you say so.
331 \end_layout
332
333 \begin_layout Problem
334
335 I don't know what to write is the problem.
336 \end_layout
337
338 \begin_layout Remark
339
340 I think this will be useful.
341 \end_layout
342
343 \begin_layout Claim
344
345 I did it the way the documentation said to.
346 \end_layout
347
348 \begin_layout Note
349
350 It may need more work yet.
351 \end_layout
352
353 \begin_layout Standard
354
355 More plain text, in standard format.
356 \end_layout
357
358 \begin_layout Theorem
359
360 This is a second numbered theorem
361 \end_layout
362
363 \begin_layout Proof
364
365 Here is its proof.
366 \end_layout
367
368 \begin_layout Standard
369
370 More text.
371 \end_layout
372
373 \begin_layout Corollary
374
375 Second corollary.
376 \end_layout
377
378 \begin_layout Proof
379
380 Its proof.
381 \end_layout
382
383 \begin_layout Lemma
384
385 Lemma number 2
386 \end_layout
387
388 \begin_layout Proposition
389
390 Second proposition.
391 \end_layout
392
393 \begin_layout Conjecture
394
395 A wild guess.
396 \end_layout
397
398 \begin_layout Criterion
399
400 Need some criteria
401 \end_layout
402
403 \begin_layout Notation
404
405
406 \begin_inset Formula $S=\mathbb{R}$
407 \end_inset
408
409 .
410 \end_layout
411
412 \begin_layout Summary
413
414 In the end, will it matter?
415 \end_layout
416
417 \begin_layout Acknowledgement
418
419 Thanks to Mattias Ettrich.
420  Without him I never would have learned LaTeX.
421 \end_layout
422
423 \begin_layout Case
424
425 If this works, then the rest will.
426 \end_layout
427
428 \begin_layout Conclusion
429
430 It seems to work.
431 \end_layout
432
433 \begin_layout Proof
434
435 Here goes another proof.
436 \end_layout
437
438 \begin_layout Standard
439
440 Plain text.
441 \end_layout
442
443 \begin_layout Section
444
445 Next try.
446 \end_layout
447
448 \begin_layout Standard
449
450 This tries out the section environments.
451 \end_layout
452
453 \begin_layout Theorem
454
455 This is a theorem
456 \end_layout
457
458 \begin_layout Proof
459
460 Here is its proof.
461 \end_layout
462
463 \begin_layout Standard
464
465 More text.
466 \end_layout
467
468 \begin_layout Corollary
469
470 Third corollary.
471  First one of this section.
472 \end_layout
473
474 \begin_layout Proof
475
476 Its proof.
477 \end_layout
478
479 \begin_layout Lemma
480
481 Lemma number 3
482 \end_layout
483
484 \begin_layout Proposition
485
486 Third proposition.
487 \end_layout
488
489 \begin_layout Conjecture
490
491 A wild guess.
492 \end_layout
493
494 \begin_layout Criterion
495
496 Need some criteria
497 \end_layout
498
499 \begin_layout Subsection
500
501 This is a subsection
502 \end_layout
503
504 \begin_layout Standard
505
506 With more results therein.
507 \end_layout
508
509 \begin_layout Theorem
510
511 This is a theorem, maybe the fourth one.
512 \end_layout
513
514 \begin_layout Proof
515
516 Here is its proof.
517 \end_layout
518
519 \begin_layout Standard
520
521 More text.
522 \end_layout
523
524 \begin_layout Corollary
525
526 Fourth corollary.
527 \end_layout
528
529 \begin_layout Proof
530
531 Its proof.
532 \end_layout
533
534 \begin_layout Lemma
535
536 Lemma number 4
537 \end_layout
538
539 \begin_layout Proposition
540
541 Fourth proposition.
542 \end_layout
543
544 \begin_layout Conjecture
545
546 A wild guess.
547 \end_layout
548
549 \begin_layout Criterion
550
551 Need some criteria
552 \end_layout
553
554 \begin_layout Standard
555
556 More random text.
557 \end_layout
558
559 \begin_layout Theorem
560
561 This is a theorem
562 \end_layout
563
564 \begin_layout Proof
565
566 Here is its proof.
567 \end_layout
568
569 \begin_layout Standard
570
571 More text.
572 \end_layout
573
574 \begin_layout Claim
575
576 I believe this is true.
577 \end_layout
578
579 \begin_layout Proof
580
581 Its proof.
582 \end_layout
583
584 \begin_layout Lemma
585
586 Lemma number 5
587 \end_layout
588
589 \begin_layout Proposition
590
591 Fifth proposition.
592 \end_layout
593
594 \begin_layout Conjecture
595
596 A wild guess.
597 \end_layout
598
599 \begin_layout Criterion
600
601 Need some criteria
602 \end_layout
603
604 \begin_layout Subsubsection
605
606 This is the subsection with results.
607 \end_layout
608
609 \begin_layout Standard
610
611 The quick, brown fox jumped over the lazy dog.
612 \end_layout
613
614 \begin_layout Theorem
615
616 This is a theorem - sixth in the series
617 \end_layout
618
619 \begin_layout Proof
620
621 Here is its proof.
622 \end_layout
623
624 \begin_layout Standard
625
626 More text.
627 \end_layout
628
629 \begin_layout Corollary
630
631 Sixth corollary.
632 \end_layout
633
634 \begin_layout Proof
635
636 Its proof.
637 \end_layout
638
639 \begin_layout Lemma
640
641 Lemma number 6
642 \end_layout
643
644 \begin_layout Proposition
645
646 Sixth proposition.
647 \end_layout
648
649 \begin_layout Conjecture
650
651 A wild guess.
652 \end_layout
653
654 \begin_layout Criterion
655
656 Need some criteria
657 \end_layout
658
659 \begin_layout Bibliography
660 \bibitem {1}
661
662 Johnson, D.
663  L.
664  
665 \emph on
666 Out of my head
667 \end_layout
668
669 \begin_layout Bibliography
670 \bibitem {2}
671
672 American Mathematical Society, 
673 \emph on
674 Instructions for preparation of papers and monographs: AMS-LaTeX
675 \emph default
676 , (1997).
677 \end_layout
678
679 \begin_layout Bibliography
680 \bibitem {3}
681
682 American Mathematical Society, 
683 \end_layout
684
685 \end_body
686 \end_document