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

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