lib/examples/amsart-test.lyx

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