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

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