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

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