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

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