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

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