src/tex2lyx/test/test-refstyle-theorems.lyx.lyx

   1 #LyX file created by tex2lyx 2.1.0dev
   2 \lyxformat 463
   3 \begin_document
   4 \begin_header
   5 \textclass book
   6 \begin_preamble
   7
   8
   9
  10
  11 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LyX specific LaTeX commands.
  12
  13 \floatstyle{ruled}
  14 \newfloat{algorithm}{tbp}{loa}[chapter]
  15 \providecommand{\algorithmname}{Algorithm}
  16 \floatname{algorithm}{\protect\algorithmname}
  17
  18
  19
  20 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
  21 \theoremstyle{plain}
  22 \newtheorem{thm}{}\theoremstyle{plain}
  23 \newtheorem{lem}[thm]{}\theoremstyle{plain}
  24 \newtheorem{cor}[thm]{}\theoremstyle{plain}
  25 \newtheorem{prop}[thm]{}\theoremstyle{plain}
  26 \newtheorem{conjecture}[thm]{}\theoremstyle{plain}
  27 \newtheorem{fact}[thm]{}\theoremstyle{definition}
  28 \newtheorem{defn}[thm]{}\theoremstyle{definition}
  29 \newtheorem{example}[thm]{}\theoremstyle{definition}
  30 \newtheorem{problem}[thm]{}\theoremstyle{definition}
  31 \newtheorem{xca}[thm]{}\theoremstyle{remark}
  32 \newtheorem{rem}[thm]{}\theoremstyle{remark}
  33 \newtheorem{claim}[thm]{}\ifx\proof\undefined
  34 \newenvironment{proof}[1][\protect\proofname]{\par
  35 \normalfont\topsep6\p@\@plus6\p@\relax
  36 \trivlist
  37 \itemindent\parindent
  38 \item[\hskip\labelsep\scshape #1]\ignorespaces
  39 }{%
  40 \endtrivlist\@endpefalse
  41 }
  42 \providecommand{\proofname}{Proof}
  43 \fi
  44
  45
  46
  47 \usepackage{babel}
  48 \providecommand{\claimname}{Claim}
  49 \providecommand{\conjecturename}{Conjecture}
  50 \providecommand{\corollaryname}{Corollary}
  51 \providecommand{\definitionname}{Definition}
  52 \providecommand{\examplename}{Example}
  53 \providecommand{\exercisename}{Exercise}
  54 \providecommand{\factname}{Fact}
  55 \providecommand{\lemmaname}{Lemma}
  56 \providecommand{\problemname}{Problem}
  57 \providecommand{\propositionname}{Proposition}
  58 \providecommand{\remarkname}{Remark}
  59 \providecommand{\theoremname}{Theorem}
  60
  61
  62 \end_preamble
  63 \use_default_options false
  64 \begin_modules
  65 theorems-ams
  66 \end_modules
  67 \maintain_unincluded_children false
  68 \language english
  69 \language_package default
  70 \inputencoding iso8859-15
  71 \fontencoding T1
  72 \font_roman default
  73 \font_sans default
  74 \font_typewriter default
  75 \font_math auto
  76 \font_default_family default
  77 \use_non_tex_fonts false
  78 \font_sc false
  79 \font_osf false
  80 \font_sf_scale 100
  81 \font_tt_scale 100
  82 \graphics default
  83 \default_output_format default
  84 \output_sync 0
  85 \bibtex_command default
  86 \index_command default
  87 \paperfontsize default
  88 \spacing single
  89 \use_hyperref false
  90 \papersize default
  91 \use_geometry false
  92 \use_package amsmath 1
  93 \use_package amssymb 0
  94 \use_package esint 1
  95 \use_package mathdots 0
  96 \use_package mathtools 0
  97 \use_package mhchem 0
  98 \use_package stackrel 0
  99 \use_package stmaryrd 0
 100 \use_package undertilde 0
 101 \cite_engine basic
 102 \cite_engine_type numerical
 103 \biblio_style plain
 104 \use_bibtopic false
 105 \use_indices false
 106 \paperorientation portrait
 107 \suppress_date false
 108 \justification true
 109 \use_refstyle 1
 110 \index Index
 111 \shortcut idx
 112 \color #008000
 113 \end_index
 114 \secnumdepth 3
 115 \tocdepth 3
 116 \paragraph_separation indent
 117 \paragraph_indentation default
 118 \quotes_language english
 119 \papercolumns 1
 120 \papersides 2
 121 \paperpagestyle default
 122 \tracking_changes false
 123 \output_changes false
 124 \html_math_output 0
 125 \html_css_as_file 0
 126 \html_be_strict false
 127 \end_header
 128
 129 \begin_body
 130
 131 \begin_layout Part
 132 part
 133 \begin_inset CommandInset label
 134 LatexCommand label
 135 name "part:part"
 136
 137 \end_inset
 138
 139
 140 \end_layout
 141
 142 \begin_layout Standard
 143
 144 \begin_inset CommandInset ref
 145 LatexCommand formatted
 146 reference "part:part"
 147
 148 \end_inset
 149
 150
 151 \end_layout
 152
 153 \begin_layout Chapter
 154 chapter
 155 \begin_inset CommandInset label
 156 LatexCommand label
 157 name "chap:chapter"
 158
 159 \end_inset
 160
 161
 162 \end_layout
 163
 164 \begin_layout Standard
 165
 166 \begin_inset CommandInset ref
 167 LatexCommand formatted
 168 reference "chap:chapter"
 169
 170 \end_inset
 171
 172
 173 \end_layout
 174
 175 \begin_layout Section
 176 Section
 177 \begin_inset CommandInset label
 178 LatexCommand label
 179 name "sec:Section"
 180
 181 \end_inset
 182
 183
 184 \end_layout
 185
 186 \begin_layout Standard
 187
 188 \begin_inset CommandInset ref
 189 LatexCommand formatted
 190 reference "sec:Section"
 191
 192 \end_inset
 193
 194
 195 \end_layout
 196
 197 \begin_layout Subsection
 198 Subsection
 199 \begin_inset CommandInset label
 200 LatexCommand label
 201 name "sub:subsection"
 202
 203 \end_inset
 204
 205
 206 \end_layout
 207
 208 \begin_layout Standard
 209 Ref to
 210 \begin_inset CommandInset ref
 211 LatexCommand formatted
 212 reference "sub:subsection"
 213
 214 \end_inset
 215
 216 .
 217 \end_layout
 218
 219 \begin_layout Subsubsection
 220 Subsubsection
 221 \begin_inset CommandInset label
 222 LatexCommand label
 223 name "sub:Subsubsection"
 224
 225 \end_inset
 226
 227
 228 \end_layout
 229
 230 \begin_layout Standard
 231 Ref to
 232 \begin_inset CommandInset ref
 233 LatexCommand formatted
 234 reference "sub:Subsubsection"
 235
 236 \end_inset
 237
 238 .
 239 \end_layout
 240
 241 \begin_layout Paragraph
 242 paragraph
 243 \begin_inset CommandInset label
 244 LatexCommand label
 245 name "par:paragraph"
 246
 247 \end_inset
 248
 249
 250 \end_layout
 251
 252 \begin_layout Standard
 253
 254 \begin_inset CommandInset ref
 255 LatexCommand formatted
 256 reference "par:paragraph"
 257
 258 \end_inset
 259
 260
 261 \end_layout
 262
 263 \begin_layout Subparagraph
 264 subparagraph
 265 \begin_inset CommandInset label
 266 LatexCommand label
 267 name "par:subparagraph"
 268
 269 \end_inset
 270
 271
 272 \end_layout
 273
 274 \begin_layout Standard
 275
 276 \begin_inset CommandInset ref
 277 LatexCommand formatted
 278 reference "par:subparagraph"
 279
 280 \end_inset
 281
 282
 283 \end_layout
 284
 285 \begin_layout Standard
 286
 287 \begin_inset Float figure
 288 wide false
 289 sideways false
 290 status open
 291
 292
 293 \begin_layout Standard
 294
 295 \begin_inset ERT
 296 status collapsed
 297
 298 \begin_layout Plain Layout
 299
 300 \backslash
 301 protect
 302 \end_layout
 303
 304 \end_inset
 305
 306
 307 \begin_inset Caption Standard
 308
 309 \begin_layout Standard
 310 figure
 311 \begin_inset CommandInset label
 312 LatexCommand label
 313 name "fig:figure"
 314
 315 \end_inset
 316
 317
 318 \end_layout
 319
 320 \end_inset
 321
 322
 323 \end_layout
 324
 325 \end_inset
 326
 327
 328 \end_layout
 329
 330 \begin_layout Standard
 331
 332 \begin_inset CommandInset ref
 333 LatexCommand formatted
 334 reference "fig:figure"
 335
 336 \end_inset
 337
 338
 339 \end_layout
 340
 341 \begin_layout Standard
 342
 343 \begin_inset Float table
 344 wide false
 345 sideways false
 346 status open
 347
 348
 349 \begin_layout Standard
 350
 351 \begin_inset ERT
 352 status collapsed
 353
 354 \begin_layout Plain Layout
 355
 356 \backslash
 357 protect
 358 \end_layout
 359
 360 \end_inset
 361
 362
 363 \begin_inset Caption Standard
 364
 365 \begin_layout Standard
 366 table
 367 \begin_inset CommandInset label
 368 LatexCommand label
 369 name "tab:table"
 370
 371 \end_inset
 372
 373
 374 \end_layout
 375
 376 \end_inset
 377
 378
 379 \end_layout
 380
 381 \end_inset
 382
 383
 384 \end_layout
 385
 386 \begin_layout Standard
 387
 388 \begin_inset CommandInset ref
 389 LatexCommand formatted
 390 reference "tab:table"
 391
 392 \end_inset
 393
 394
 395 \end_layout
 396
 397 \begin_layout Standard
 398
 399 \begin_inset Float algorithm
 400 wide false
 401 sideways false
 402 status open
 403
 404
 405 \begin_layout Standard
 406
 407 \begin_inset ERT
 408 status collapsed
 409
 410 \begin_layout Plain Layout
 411
 412 \backslash
 413 protect
 414 \end_layout
 415
 416 \end_inset
 417
 418
 419 \begin_inset Caption Standard
 420
 421 \begin_layout Standard
 422 algorithm
 423 \begin_inset CommandInset label
 424 LatexCommand label
 425 name "alg:algorithm"
 426
 427 \end_inset
 428
 429
 430 \end_layout
 431
 432 \end_inset
 433
 434
 435 \end_layout
 436
 437 \end_inset
 438
 439
 440 \end_layout
 441
 442 \begin_layout Standard
 443
 444 \begin_inset CommandInset ref
 445 LatexCommand formatted
 446 reference "alg:algorithm"
 447
 448 \end_inset
 449
 450
 451 \end_layout
 452
 453 \begin_layout Standard
 454
 455 \begin_inset Foot
 456 status collapsed
 457
 458
 459 \begin_layout Standard
 460 foot
 461 \begin_inset CommandInset label
 462 LatexCommand label
 463 name "fn:foot"
 464
 465 \end_inset
 466
 467
 468 \end_layout
 469
 470 \end_inset
 471
 472
 473 \end_layout
 474
 475 \begin_layout Standard
 476
 477 \begin_inset CommandInset ref
 478 LatexCommand formatted
 479 reference "fn:foot"
 480
 481 \end_inset
 482
 483
 484 \end_layout
 485
 486 \begin_layout Standard
 487
 488 \begin_inset Marginal
 489 status collapsed
 490
 491
 492 \begin_layout Standard
 493 margin
 494 \begin_inset CommandInset label
 495 LatexCommand label
 496 name "margin"
 497
 498 \end_inset
 499
 500
 501 \end_layout
 502
 503 \end_inset
 504
 505
 506 \end_layout
 507
 508 \begin_layout Standard
 509
 510 \begin_inset CommandInset ref
 511 LatexCommand ref
 512 reference "margin"
 513
 514 \end_inset
 515
 516
 517 \end_layout
 518
 519 \begin_layout Enumerate
 520 item
 521 \begin_inset CommandInset label
 522 LatexCommand label
 523 name "enu:item"
 524
 525 \end_inset
 526
 527
 528 \end_layout
 529
 530 \begin_layout Standard
 531
 532 \begin_inset CommandInset ref
 533 LatexCommand formatted
 534 reference "enu:item"
 535
 536 \end_inset
 537
 538
 539 \end_layout
 540
 541 \begin_layout Standard
 542
 543 \begin_inset Formula \begin{equation}
 544 A=B\label{eq:A=00003DB}
 545 \end{equation}
 546 \end_inset
 547
 548
 549 \end_layout
 550
 551 \begin_layout Standard
 552
 553 \begin_inset CommandInset ref
 554 LatexCommand formatted
 555 reference "eq:A=00003DB"
 556
 557 \end_inset
 558
 559
 560 \end_layout
 561
 562 \begin_layout Lemma
 563 lemma
 564 \begin_inset CommandInset label
 565 LatexCommand label
 566 name "lem:lemma"
 567
 568 \end_inset
 569
 570
 571 \end_layout
 572
 573 \begin_layout Lemma
 574
 575 \begin_inset CommandInset ref
 576 LatexCommand formatted
 577 reference "lem:lemma"
 578
 579 \end_inset
 580
 581
 582 \end_layout
 583
 584 \begin_layout Theorem
 585 theorem
 586 \begin_inset CommandInset label
 587 LatexCommand label
 588 name "thm:theorem"
 589
 590 \end_inset
 591
 592
 593 \end_layout
 594
 595 \begin_layout Theorem
 596
 597 \begin_inset CommandInset ref
 598 LatexCommand formatted
 599 reference "thm:theorem"
 600
 601 \end_inset
 602
 603
 604 \end_layout
 605
 606 \begin_layout Corollary
 607 corollary
 608 \begin_inset CommandInset label
 609 LatexCommand label
 610 name "cor:corollary"
 611
 612 \end_inset
 613
 614
 615 \end_layout
 616
 617 \begin_layout Corollary
 618
 619 \begin_inset CommandInset ref
 620 LatexCommand formatted
 621 reference "cor:corollary"
 622
 623 \end_inset
 624
 625
 626 \end_layout
 627
 628 \begin_layout Proposition
 629 proposition
 630 \begin_inset CommandInset label
 631 LatexCommand label
 632 name "prop:proposition"
 633
 634 \end_inset
 635
 636
 637 \end_layout
 638
 639 \begin_layout Proposition
 640
 641 \begin_inset CommandInset ref
 642 LatexCommand formatted
 643 reference "prop:proposition"
 644
 645 \end_inset
 646
 647
 648 \end_layout
 649
 650 \begin_layout Conjecture
 651 conjecture
 652 \begin_inset CommandInset label
 653 LatexCommand label
 654 name "conjecture"
 655
 656 \end_inset
 657
 658
 659 \end_layout
 660
 661 \begin_layout Conjecture
 662
 663 \begin_inset CommandInset ref
 664 LatexCommand ref
 665 reference "conjecture"
 666
 667 \end_inset
 668
 669
 670 \end_layout
 671
 672 \begin_layout Fact
 673 fact
 674 \begin_inset CommandInset label
 675 LatexCommand label
 676 name "fact"
 677
 678 \end_inset
 679
 680
 681 \end_layout
 682
 683 \begin_layout Fact
 684
 685 \begin_inset CommandInset ref
 686 LatexCommand ref
 687 reference "fact"
 688
 689 \end_inset
 690
 691
 692 \end_layout
 693
 694 \begin_layout Definition
 695 definition
 696 \begin_inset CommandInset label
 697 LatexCommand label
 698 name "definition"
 699
 700 \end_inset
 701
 702
 703 \end_layout
 704
 705 \begin_layout Definition
 706
 707 \begin_inset CommandInset ref
 708 LatexCommand ref
 709 reference "definition"
 710
 711 \end_inset
 712
 713
 714 \end_layout
 715
 716 \begin_layout Example
 717 example
 718 \begin_inset CommandInset label
 719 LatexCommand label
 720 name "example"
 721
 722 \end_inset
 723
 724
 725 \end_layout
 726
 727 \begin_layout Example
 728
 729 \begin_inset CommandInset ref
 730 LatexCommand ref
 731 reference "example"
 732
 733 \end_inset
 734
 735
 736 \end_layout
 737
 738 \begin_layout Problem
 739 problem
 740 \begin_inset CommandInset label
 741 LatexCommand label
 742 name "problem"
 743
 744 \end_inset
 745
 746
 747 \end_layout
 748
 749 \begin_layout Problem
 750
 751 \begin_inset CommandInset ref
 752 LatexCommand ref
 753 reference "problem"
 754
 755 \end_inset
 756
 757
 758 \end_layout
 759
 760 \begin_layout Exercise
 761 exercise
 762 \begin_inset CommandInset label
 763 LatexCommand label
 764 name "exercise"
 765
 766 \end_inset
 767
 768
 769 \end_layout
 770
 771 \begin_layout Exercise
 772
 773 \begin_inset CommandInset ref
 774 LatexCommand ref
 775 reference "exercise"
 776
 777 \end_inset
 778
 779
 780 \end_layout
 781
 782 \begin_layout Remark
 783 remark
 784 \begin_inset CommandInset label
 785 LatexCommand label
 786 name "remark"
 787
 788 \end_inset
 789
 790
 791 \end_layout
 792
 793 \begin_layout Remark
 794
 795 \begin_inset CommandInset ref
 796 LatexCommand ref
 797 reference "remark"
 798
 799 \end_inset
 800
 801
 802 \end_layout
 803
 804 \begin_layout Claim
 805 claim
 806 \begin_inset CommandInset label
 807 LatexCommand label
 808 name "claim"
 809
 810 \end_inset
 811
 812
 813 \end_layout
 814
 815 \begin_layout Claim
 816
 817 \begin_inset CommandInset ref
 818 LatexCommand ref
 819 reference "claim"
 820
 821 \end_inset
 822
 823
 824 \end_layout
 825
 826 \begin_layout Proof
 827 proof
 828 \begin_inset CommandInset label
 829 LatexCommand label
 830 name "proof"
 831
 832 \end_inset
 833
 834
 835 \end_layout
 836
 837 \begin_layout Proof
 838
 839 \begin_inset CommandInset ref
 840 LatexCommand ref
 841 reference "proof"
 842
 843 \end_inset
 844
 845
 846 \end_layout
 847
 848 \end_body
 849 \end_document