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

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