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

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