lib/examples/amsart-test.lyx

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