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

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