lib/examples/amsart-test.lyx

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