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