lib/examples/amsart-test.lyx

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