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

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