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