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

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