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

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