lib/examples/amsart-test.lyx

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