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

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