lib/examples/amsart-test.lyx

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