development/mathmacros/testcases_environments.lyx

   1 #LyX 1.6svn created this file. For more info see http://www.lyx.org/
   2 \lyxformat 318
   3 \begin_document
   4 \begin_header
   5 \textclass amsart
   6 \begin_modules
   7 theorems-ams
   8 \end_modules
   9 \language english
  10 \inputencoding auto
  11 \font_roman default
  12 \font_sans default
  13 \font_typewriter default
  14 \font_default_family default
  15 \font_sc false
  16 \font_osf false
  17 \font_sf_scale 100
  18 \font_tt_scale 100
  19 \graphics default
  20 \paperfontsize default
  21 \spacing single
  22 \use_hyperref false
  23 \papersize default
  24 \use_geometry false
  25 \use_amsmath 1
  26 \use_esint 1
  27 \cite_engine basic
  28 \use_bibtopic false
  29 \paperorientation portrait
  30 \branch Branch1
  31 \selected 1
  32 \color #fa8a00
  33 \end_branch
  34 \branch Branch2
  35 \selected 0
  36 \color #00fabc
  37 \end_branch
  38 \secnumdepth 3
  39 \tocdepth 3
  40 \paragraph_separation indent
  41 \defskip medskip
  42 \quotes_language english
  43 \papercolumns 1
  44 \papersides 1
  45 \paperpagestyle default
  46 \tracking_changes false
  47 \output_changes false
  48 \author ""
  49 \author ""
  50 \extra_embedded_files ""
  51 \end_header
  52
  53 \begin_body
  54
  55 \begin_layout Title
  56 Macro Scopes
  57 \end_layout
  58
  59 \begin_layout Section
  60 Simple
  61 \end_layout
  62
  63 \begin_layout Standard
  64 \begin_inset Formula \[
  65 \backslash foo\mbox{ should be }\backslash foo\]
  66
  67 \end_inset
  68
  69
  70 \end_layout
  71
  72 \begin_layout Standard
  73
  74 \family roman
  75 \series medium
  76 \shape up
  77 \size normal
  78 \emph off
  79 \bar no
  80 \noun off
  81 \color none
  82 \begin_inset FormulaMacro
  83 \newcommand{\foo}{A}
  84 \end_inset
  85
  86
  87 \end_layout
  88
  89 \begin_layout Standard
  90 \begin_inset Formula \[
  91 \foo\mbox{ should be }A\]
  92
  93 \end_inset
  94
  95
  96 \end_layout
  97
  98 \begin_layout Section
  99 Redefinition
 100 \end_layout
 101
 102 \begin_layout Standard
 103
 104 \family roman
 105 \series medium
 106 \shape up
 107 \size normal
 108 \emph off
 109 \bar no
 110 \noun off
 111 \color none
 112 \begin_inset FormulaMacro
 113 \renewcommand{\foo}{B}
 114 \end_inset
 115
 116
 117 \family default
 118 \series default
 119 \shape default
 120 \size default
 121 \emph default
 122 \bar default
 123 \noun default
 124 \color inherit
 125
 126 \begin_inset Formula \[
 127 B\mbox{ should be }B\]
 128
 129 \end_inset
 130
 131
 132 \end_layout
 133
 134 \begin_layout Section
 135 In Paragraph Redefinition
 136 \end_layout
 137
 138 \begin_layout Standard
 139
 140 \family roman
 141 \series medium
 142 \shape up
 143 \size normal
 144 \emph off
 145 \bar no
 146 \noun off
 147 \color none
 148 \begin_inset FormulaMacro
 149 \renewcommand{\foo}{C}
 150 \end_inset
 151
 152
 153 \family default
 154 \series default
 155 \shape default
 156 \size default
 157 \emph default
 158 \bar default
 159 \noun default
 160 \color inherit
 161
 162 \begin_inset Formula $\foo\mbox{ should be }C$
 163 \end_inset
 164
 165
 166 \family roman
 167 \series medium
 168 \shape up
 169 \size normal
 170 \emph off
 171 \bar no
 172 \noun off
 173 \color none
 174
 175 \begin_inset FormulaMacro
 176 \renewcommand{\foo}{D}
 177 \end_inset
 178
 179
 180 \family default
 181 \series default
 182 \shape default
 183 \size default
 184 \emph default
 185 \bar default
 186 \noun default
 187 \color inherit
 188
 189 \begin_inset Formula $\foo\mbox{ should be }D$
 190 \end_inset
 191
 192
 193 \end_layout
 194
 195 \begin_layout Section
 196 Environment
 197 \end_layout
 198
 199 \begin_layout Standard
 200 \begin_inset Note Note
 201 status open
 202
 203 \begin_layout PlainLayout
 204 \begin_inset Formula $\foo\mbox{ should be }D$
 205 \end_inset
 206
 207
 208 \end_layout
 209
 210 \begin_layout Section
 211 Environment local Definitions
 212 \end_layout
 213
 214 \begin_layout PlainLayout
 215
 216 \family roman
 217 \series medium
 218 \shape up
 219 \size normal
 220 \emph off
 221 \bar no
 222 \noun off
 223 \color none
 224 \begin_inset FormulaMacro
 225 \renewcommand{\foo}{E}
 226 \end_inset
 227
 228
 229 \family default
 230 \series default
 231 \shape default
 232 \size default
 233 \emph default
 234 \bar default
 235 \noun default
 236 \color inherit
 237
 238 \begin_inset Formula $\foo\mbox{ should be }E$
 239 \end_inset
 240
 241
 242 \family roman
 243 \series medium
 244 \shape up
 245 \size normal
 246 \emph off
 247 \bar no
 248 \noun off
 249 \color none
 250
 251 \begin_inset FormulaMacro
 252 \renewcommand{\foo}{F}
 253 \end_inset
 254
 255
 256 \family default
 257 \series default
 258 \shape default
 259 \size default
 260 \emph default
 261 \bar default
 262 \noun default
 263 \color inherit
 264
 265 \begin_inset Formula $\foo\mbox{ should be }F$
 266 \end_inset
 267
 268
 269 \end_layout
 270
 271 \end_inset
 272
 273
 274 \begin_inset Formula $\foo\mbox{ should be }D$
 275 \end_inset
 276
 277 .
 278 \end_layout
 279
 280 \begin_layout Section
 281 Definitions in Paragraph Style Environments
 282 \end_layout
 283
 284 \begin_layout Abstract
 285
 286 \family roman
 287 \series medium
 288 \shape up
 289 \size normal
 290 \emph off
 291 \bar no
 292 \noun off
 293 \color none
 294 \begin_inset FormulaMacro
 295 \renewcommand{\foo}{G}
 296 \end_inset
 297
 298
 299 \family default
 300 \series default
 301 \shape default
 302 \size default
 303 \emph default
 304 \bar default
 305 \noun default
 306 \color inherit
 307
 308 \begin_inset Formula $\foo\mbox{ should be }G$
 309 \end_inset
 310
 311
 312 \end_layout
 313
 314 \begin_layout Standard
 315 \begin_inset Formula $\foo\mbox{ should be }G$
 316 \end_inset
 317
 318 .
 319 \end_layout
 320
 321 \begin_layout Itemize
 322
 323 \family roman
 324 \series medium
 325 \shape up
 326 \size normal
 327 \emph off
 328 \bar no
 329 \noun off
 330 \color none
 331 \begin_inset FormulaMacro
 332 \renewcommand{\foo}{H}
 333 \end_inset
 334
 335
 336 \family default
 337 \series default
 338 \shape default
 339 \size default
 340 \emph default
 341 \bar default
 342 \noun default
 343 \color inherit
 344
 345 \begin_inset Formula $\foo\mbox{ should be }H$
 346 \end_inset
 347
 348
 349 \end_layout
 350
 351 \begin_layout Itemize
 352 \begin_inset Formula $H\mbox{ should be }H$
 353 \end_inset
 354
 355
 356 \family roman
 357 \series medium
 358 \shape up
 359 \size normal
 360 \emph off
 361 \bar no
 362 \noun off
 363 \color none
 364
 365 \begin_inset FormulaMacro
 366 \renewcommand{\foo}{H2}
 367 \end_inset
 368
 369
 370 \family default
 371 \series default
 372 \shape default
 373 \size default
 374 \emph default
 375 \bar default
 376 \noun default
 377 \color inherit
 378
 379 \begin_inset Formula $\foo\mbox{ should be }H2$
 380 \end_inset
 381
 382
 383 \end_layout
 384
 385 \begin_layout Standard
 386 \begin_inset Formula $\foo\mbox{ should be }H2$
 387 \end_inset
 388
 389
 390 \end_layout
 391
 392 \begin_layout Section
 393 Theorem and Proofs
 394 \end_layout
 395
 396 \begin_layout Theorem
 397 \begin_inset Formula $1=0$
 398 \end_inset
 399
 400
 401 \family roman
 402 \series medium
 403 \shape up
 404 \size normal
 405 \emph off
 406 \bar no
 407 \noun off
 408 \color none
 409
 410 \begin_inset FormulaMacro
 411 \renewcommand{\foo}{I}
 412 \end_inset
 413
 414
 415 \family default
 416 \series default
 417 \shape default
 418 \size default
 419 \emph default
 420 \bar default
 421 \noun default
 422 \color inherit
 423
 424 \begin_inset Formula $\foo\mbox{ should be }I$
 425 \end_inset
 426
 427
 428 \end_layout
 429
 430 \begin_layout Proof
 431 Because
 432 \begin_inset Formula $2=1$
 433 \end_inset
 434
 435 .
 436 \begin_inset Formula $\foo\mbox{ should be }I$
 437 \end_inset
 438
 439
 440 \family roman
 441 \series medium
 442 \shape up
 443 \size normal
 444 \emph off
 445 \bar no
 446 \noun off
 447 \color none
 448
 449 \begin_inset FormulaMacro
 450 \renewcommand{\foo}{J}
 451 \end_inset
 452
 453
 454 \family default
 455 \series default
 456 \shape default
 457 \size default
 458 \emph default
 459 \bar default
 460 \noun default
 461 \color inherit
 462
 463 \begin_inset Formula $\foo\mbox{ should be }J$
 464 \end_inset
 465
 466 .
 467 \family roman
 468 \series medium
 469 \shape up
 470 \size normal
 471 \emph off
 472 \bar no
 473 \noun off
 474 \color none
 475
 476 \begin_inset FormulaMacro
 477 \renewcommand{\foo}{K}
 478 \end_inset
 479
 480
 481 \family default
 482 \series default
 483 \shape default
 484 \size default
 485 \emph default
 486 \bar default
 487 \noun default
 488 \color inherit
 489
 490 \begin_inset Formula $\foo\mbox{ should be }K$
 491 \end_inset
 492
 493
 494 \end_layout
 495
 496 \begin_layout Proof
 497 Blub
 498 \begin_inset Formula $\foo\mbox{ should be }K$
 499 \end_inset
 500
 501 .
 502 \end_layout
 503
 504 \begin_layout Standard
 505 \begin_inset Formula $\foo\mbox{ should be }K$
 506 \end_inset
 507
 508 .
 509 \end_layout
 510
 511 \begin_layout Section
 512 Tables
 513 \end_layout
 514
 515 \begin_layout Standard
 516 \begin_inset Tabular
 517 <lyxtabular version="3" rows="2" columns="2">
 518 <features>
 519 <column alignment="center" valignment="top" leftline="true" width="0">
 520 <column alignment="center" valignment="top" leftline="true" rightline="true" width="0">
 521 <row topline="true" bottomline="true">
 522 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 523 \begin_inset Text
 524
 525 \begin_layout PlainLayout
 526 \begin_inset Formula $\foo\mbox{ should be }K$
 527 \end_inset
 528
 529
 530 \end_layout
 531
 532 \end_inset
 533 </cell>
 534 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
 535 \begin_inset Text
 536
 537 \begin_layout PlainLayout
 538 bla
 539 \end_layout
 540
 541 \end_inset
 542 </cell>
 543 </row>
 544 <row topline="true" bottomline="true">
 545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 546 \begin_inset Text
 547
 548 \begin_layout PlainLayout
 549
 550 \family roman
 551 \series medium
 552 \shape up
 553 \size normal
 554 \emph off
 555 \bar no
 556 \noun off
 557 \color none
 558 \begin_inset FormulaMacro
 559 \renewcommand{\foo}{L}
 560 \end_inset
 561
 562
 563 \family default
 564 \series default
 565 \shape default
 566 \size default
 567 \emph default
 568 \bar default
 569 \noun default
 570 \color inherit
 571
 572 \begin_inset Formula $L\mbox{ should be }L$
 573 \end_inset
 574
 575
 576 \end_layout
 577
 578 \end_inset
 579 </cell>
 580 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
 581 \begin_inset Text
 582
 583 \begin_layout PlainLayout
 584
 585 \end_layout
 586
 587 \end_inset
 588 </cell>
 589 </row>
 590 </lyxtabular>
 591
 592 \end_inset
 593
 594
 595 \end_layout
 596
 597 \begin_layout Section
 598 Depth and nested Paragraphs
 599 \end_layout
 600
 601 \begin_layout Definition
 602 Let
 603 \begin_inset Formula $x$
 604 \end_inset
 605
 606  be
 607 \begin_inset Formula $1$
 608 \end_inset
 609
 610 .
 611
 612 \family roman
 613 \series medium
 614 \shape up
 615 \size normal
 616 \emph off
 617 \bar no
 618 \noun off
 619 \color none
 620
 621 \begin_inset FormulaMacro
 622 \renewcommand{\foo}{M}
 623 \end_inset
 624
 625
 626 \family default
 627 \series default
 628 \shape default
 629 \size default
 630 \emph default
 631 \bar default
 632 \noun default
 633 \color inherit
 634
 635 \begin_inset Formula $\foo\mbox{ should be }M$
 636 \end_inset
 637
 638
 639 \end_layout
 640
 641 \begin_deeper
 642 \begin_layout Standard
 643 \begin_inset Formula $\foo\mbox{ should be }M$
 644 \end_inset
 645
 646
 647 \family roman
 648 \series medium
 649 \shape up
 650 \size normal
 651 \emph off
 652 \bar no
 653 \noun off
 654 \color none
 655
 656 \begin_inset FormulaMacro
 657 \renewcommand{\foo}{N}
 658 \end_inset
 659
 660
 661 \family default
 662 \series default
 663 \shape default
 664 \size default
 665 \emph default
 666 \bar default
 667 \noun default
 668 \color inherit
 669
 670 \begin_inset Formula $\foo\mbox{ should be }N$
 671 \end_inset
 672
 673
 674 \end_layout
 675
 676 \end_deeper
 677 \begin_layout Definition
 678 And furthermore let
 679 \begin_inset Formula $y$
 680 \end_inset
 681
 682  be
 683 \begin_inset Formula $2$
 684 \end_inset
 685
 686 .
 687
 688 \begin_inset Formula $\foo\mbox{ should be }N$
 689 \end_inset
 690
 691
 692 \family roman
 693 \series medium
 694 \shape up
 695 \size normal
 696 \emph off
 697 \bar no
 698 \noun off
 699 \color none
 700
 701 \begin_inset FormulaMacro
 702 \renewcommand{\foo}{O}
 703 \end_inset
 704
 705
 706 \family default
 707 \series default
 708 \shape default
 709 \size default
 710 \emph default
 711 \bar default
 712 \noun default
 713 \color inherit
 714
 715 \begin_inset Formula $\foo\mbox{ should be }O$
 716 \end_inset
 717
 718
 719 \end_layout
 720
 721 \begin_deeper
 722 \begin_layout Itemize
 723 Let
 724 \begin_inset Formula $z$
 725 \end_inset
 726
 727  be
 728 \begin_inset Formula $3$
 729 \end_inset
 730
 731 .
 732
 733 \begin_inset Formula $\foo\mbox{ should be }O$
 734 \end_inset
 735
 736
 737 \family roman
 738 \series medium
 739 \shape up
 740 \size normal
 741 \emph off
 742 \bar no
 743 \noun off
 744 \color none
 745
 746 \begin_inset FormulaMacro
 747 \renewcommand{\foo}{P}
 748 \end_inset
 749
 750
 751 \family default
 752 \series default
 753 \shape default
 754 \size default
 755 \emph default
 756 \bar default
 757 \noun default
 758 \color inherit
 759
 760 \begin_inset Formula $\foo\mbox{ should be }P$
 761 \end_inset
 762
 763
 764 \end_layout
 765
 766 \end_deeper
 767 \begin_layout Definition
 768 Still definition:
 769 \begin_inset Formula $\foo\mbox{ should be }P$
 770 \end_inset
 771
 772 .
 773 \end_layout
 774
 775 \begin_layout Standard
 776 And outside the definition:
 777 \begin_inset Formula $\foo\mbox{ should be }P$
 778 \end_inset
 779
 780 .
 781 \end_layout
 782
 783 \begin_layout Section
 784 Branch
 785 \end_layout
 786
 787 \begin_layout Standard
 788 \begin_inset Branch Branch1
 789 status open
 790
 791 \begin_layout PlainLayout
 792
 793 \family roman
 794 \series medium
 795 \shape up
 796 \size normal
 797 \emph off
 798 \bar no
 799 \noun off
 800 \color none
 801 \begin_inset FormulaMacro
 802 \renewcommand{\foo}{Q}
 803 \end_inset
 804
 805
 806 \family default
 807 \series default
 808 \shape default
 809 \size default
 810 \emph default
 811 \bar default
 812 \noun default
 813 \color inherit
 814
 815 \begin_inset Formula $\foo\mbox{ should be }Q$
 816 \end_inset
 817
 818
 819 \end_layout
 820
 821 \end_inset
 822
 823
 824 \end_layout
 825
 826 \begin_layout Standard
 827 \begin_inset Formula $\foo\mbox{ should be }Q\mbox{ if Branch1 is selected}$
 828 \end_inset
 829
 830
 831 \end_layout
 832
 833 \begin_layout Standard
 834 \begin_inset Branch Branch2
 835 status open
 836
 837 \begin_layout PlainLayout
 838
 839 \family roman
 840 \series medium
 841 \shape up
 842 \size normal
 843 \emph off
 844 \bar no
 845 \noun off
 846 \color none
 847 \begin_inset FormulaMacro
 848 \renewcommand{\foo}{R}
 849 \end_inset
 850
 851
 852 \family default
 853 \series default
 854 \shape default
 855 \size default
 856 \emph default
 857 \bar default
 858 \noun default
 859 \color inherit
 860
 861 \begin_inset Formula $\foo\mbox{ should be }R$
 862 \end_inset
 863
 864
 865 \end_layout
 866
 867 \end_inset
 868
 869
 870 \end_layout
 871
 872 \begin_layout Standard
 873 \begin_inset Formula $\foo\mbox{ should be }Q\mbox{ if Branch2 is deselected}$
 874 \end_inset
 875
 876
 877 \end_layout
 878
 879 \begin_layout Section
 880 Macros in non-environment blocks
 881 \end_layout
 882
 883 \begin_layout Standard
 884
 885 \series bold
 886 Some bold font block:
 887 \family roman
 888 \series medium
 889 \shape up
 890 \size normal
 891 \emph off
 892 \bar no
 893 \noun off
 894 \color none
 895
 896 \begin_inset FormulaMacro
 897 \renewcommand{\foo}{R}
 898 \end_inset
 899
 900
 901 \family default
 902 \series bold
 903 \shape default
 904 \size default
 905 \emph default
 906 \bar default
 907 \noun default
 908 \color inherit
 909
 910 \begin_inset Formula $\foo\mbox{ should be }R$
 911 \end_inset
 912
 913
 914 \end_layout
 915
 916 \begin_layout Standard
 917 Now normal again:
 918 \begin_inset Formula $\foo\mbox{ should be }R$
 919 \end_inset
 920
 921
 922 \end_layout
 923
 924 \begin_layout Standard
 925
 926 \series bold
 927 Some bold font block where the macro itself is not bold:
 928 \family roman
 929 \series medium
 930 \shape up
 931 \size normal
 932 \emph off
 933 \bar no
 934 \noun off
 935 \color none
 936
 937 \begin_inset FormulaMacro
 938 \renewcommand{\foo}{S}
 939 \end_inset
 940
 941
 942 \family default
 943 \series bold
 944 \shape default
 945 \size default
 946 \emph default
 947 \bar default
 948 \noun default
 949 \color inherit
 950
 951 \begin_inset Formula $\foo\mbox{ should be }S$
 952 \end_inset
 953
 954
 955 \end_layout
 956
 957 \begin_layout Standard
 958 Now normal again:
 959 \begin_inset Formula $\foo\mbox{ should be }S$
 960 \end_inset
 961
 962
 963 \end_layout
 964
 965 \begin_layout Standard
 966 Some
 967 \series bold
 968 bold font block not starting at the paragraph start:
 969 \family roman
 970 \series medium
 971 \shape up
 972 \size normal
 973 \emph off
 974 \bar no
 975 \noun off
 976 \color none
 977
 978 \begin_inset FormulaMacro
 979 \renewcommand{\foo}{T}
 980 \end_inset
 981
 982
 983 \family default
 984 \series bold
 985 \shape default
 986 \size default
 987 \emph default
 988 \bar default
 989 \noun default
 990 \color inherit
 991
 992 \begin_inset Formula $\foo\mbox{ should be }T$
 993 \end_inset
 994
 995  Some tail text.
 996 \end_layout
 997
 998 \begin_layout Standard
 999 Some
1000 \series bold
1001 bold font block not starting at the paragraph start:
1002 \begin_inset Formula $\foo\mbox{ should be }T$
1003 \end_inset
1004
1005 .
1006  Some tail text.
1007 \end_layout
1008
1009 \begin_layout Standard
1010 Some
1011 \series bold
1012 bold font block with an
1013 \begin_inset Note Comment
1014 status open
1015
1016 \begin_layout PlainLayout
1017
1018 \series bold
1019 note
1020 \family roman
1021 \series medium
1022 \shape up
1023 \size normal
1024 \emph off
1025 \bar no
1026 \noun off
1027 \color none
1028
1029 \begin_inset FormulaMacro
1030 \renewcommand{\foo}{U}
1031 \end_inset
1032
1033
1034 \family default
1035 \series bold
1036 \shape default
1037 \size default
1038 \emph default
1039 \bar default
1040 \noun default
1041 \color inherit
1042 inset
1043 \end_layout
1044
1045 \end_inset
1046
1047  in between.
1048 \end_layout
1049
1050 \begin_layout Standard
1051 Some
1052 \series bold
1053 bold font block with an
1054 \begin_inset Note Comment
1055 status open
1056
1057 \begin_layout PlainLayout
1058 note inset
1059 \end_layout
1060
1061 \end_inset
1062
1063  in between.
1064 \end_layout
1065
1066 \begin_layout Section
1067 InsetTexts
1068 \end_layout
1069
1070 \begin_layout Standard
1071 Float:
1072 \begin_inset Float figure
1073 wide false
1074 sideways false
1075 status open
1076
1077 \begin_layout PlainLayout
1078
1079 \family roman
1080 \series medium
1081 \shape up
1082 \size normal
1083 \emph off
1084 \bar no
1085 \noun off
1086 \color none
1087 \begin_inset FormulaMacro
1088 \renewcommand{\foo}{V}
1089 \end_inset
1090
1091
1092 \begin_inset Formula $\foo\mbox{ should be }V$
1093 \end_inset
1094
1095
1096 \end_layout
1097
1098 \begin_layout PlainLayout
1099 \begin_inset Caption
1100
1101 \begin_layout PlainLayout
1102
1103 \family roman
1104 \series medium
1105 \shape up
1106 \size normal
1107 \emph off
1108 \bar no
1109 \noun off
1110 \color none
1111 \begin_inset Formula $\foo\mbox{ should be }V$
1112 \end_inset
1113
1114
1115 \end_layout
1116
1117 \end_inset
1118
1119
1120 \end_layout
1121
1122 \begin_layout PlainLayout
1123
1124 \end_layout
1125
1126 \end_inset
1127
1128
1129 \begin_inset Formula $\foo\mbox{ should be }V$
1130 \end_inset
1131
1132
1133 \end_layout
1134
1135 \begin_layout Standard
1136 LyX-Note:
1137 \begin_inset Note Note
1138 status open
1139
1140 \begin_layout PlainLayout
1141
1142 \family roman
1143 \series medium
1144 \shape up
1145 \size normal
1146 \emph off
1147 \bar no
1148 \noun off
1149 \color none
1150 \begin_inset FormulaMacro
1151 \renewcommand{\foo}{X}
1152 \end_inset
1153
1154
1155 \family default
1156 \series default
1157 \shape default
1158 \size default
1159 \emph default
1160 \bar default
1161 \noun default
1162 \color inherit
1163
1164 \begin_inset Formula $\foo\mbox{ should be }X$
1165 \end_inset
1166
1167
1168 \end_layout
1169
1170 \end_inset
1171
1172
1173 \begin_inset Formula $\foo\mbox{ should be }V$
1174 \end_inset
1175
1176
1177 \end_layout
1178
1179 \begin_layout Standard
1180 Comment:
1181 \begin_inset Note Comment
1182 status open
1183
1184 \begin_layout PlainLayout
1185
1186 \family roman
1187 \series medium
1188 \shape up
1189 \size normal
1190 \emph off
1191 \bar no
1192 \noun off
1193 \color none
1194 \begin_inset FormulaMacro
1195 \renewcommand{\foo}{Y}
1196 \end_inset
1197
1198
1199 \family default
1200 \series default
1201 \shape default
1202 \size default
1203 \emph default
1204 \bar default
1205 \noun default
1206 \color inherit
1207
1208 \begin_inset Formula $\foo\mbox{ should be }Y$
1209 \end_inset
1210
1211
1212 \end_layout
1213
1214 \end_inset
1215
1216
1217 \begin_inset Formula $\foo\mbox{ should be }Y$
1218 \end_inset
1219
1220
1221 \end_layout
1222
1223 \begin_layout Standard
1224 Greyed out:
1225 \begin_inset Note Greyedout
1226 status open
1227
1228 \begin_layout PlainLayout
1229
1230 \family roman
1231 \series medium
1232 \shape up
1233 \size normal
1234 \emph off
1235 \bar no
1236 \noun off
1237 \color none
1238 \begin_inset FormulaMacro
1239 \renewcommand{\foo}{Z}
1240 \end_inset
1241
1242
1243 \family default
1244 \series default
1245 \shape default
1246 \size default
1247 \emph default
1248 \bar default
1249 \noun default
1250 \color inherit
1251
1252 \begin_inset Formula $\foo\mbox{ should be }Z$
1253 \end_inset
1254
1255
1256 \end_layout
1257
1258 \end_inset
1259
1260
1261 \begin_inset Formula $\foo\mbox{ should be }Z$
1262 \end_inset
1263
1264
1265 \end_layout
1266
1267 \end_body
1268 \end_document