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