lib/examples/amsart-test.lyx

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