LATEX Tips - eDisk

L A TEX TipsProf. ResslerWhen you type your own proof in this style you should use displayed multilineequations (described above) and place the justification at the right margin usingthe command \tag*{}, which produces text (whatever you type inside the {}) atthe right margin. Using this format we could justify the steps in the calculation(m + n)p = p(m + n) Comm. Prop. Mult.= pm + pn Dist. Prop.= mp + np. Comm. Prop. Mult.8 ListsUse the L A TEX list environment enumerate to type propositions with parts. Forexample, the two parts of Proposition 1.22 in The Art of Proof are1. For all m ∈ Z, −(−m) = m.2. −0 = 0.You can see that the enumerate environment numbers the items with Arabicnumerals followed by a period. You can instruct L A TEX to label items in thesame way as The Art of Proof (lower case Roman numerals inside parentheses)by placing the command\renewcommand{\labelenumi}{(\roman{enumi})}inside the enumerate structure, as in(i) For all m ∈ Z, −(−m) = m.(ii) −0 = 0.The command\renewcommand{\labelenumi}{(\alph{enumi})}will produce lower case alphabetical labels, as in(a) For all m ∈ Z, −(−m) = m.(b) −0 = 0.If you want to typeset only part of a list (say, to prove one part of a proposition)you can use the command\setcounter{enumi}{n}to reset the counter in the list environment to n. For example, we can list onlythe second item from above as(b) −0 = 0.4