lib/examples/Articles/American_Mathematical_Society_%28AMS%29.lyx

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