lib/examples/amsart-test.lyx

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