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