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

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