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