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

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