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

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