equal
deleted
inserted
replaced
18 |
18 |
19 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
19 %\newcommand{\sflataux}[1]{\textit{sflat}\_\textit{aux} \, #1} |
20 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
20 \newcommand\sflat[1]{\llparenthesis #1 \rrparenthesis } |
21 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
21 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3} |
22 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2} |
22 \newcommand{\bderssimp}[2]{#1 \backslash_{bsimps} #2} |
23 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2} |
23 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimps} #2} |
24 \def\derssimp{\textit{ders}\_\textit{simp}} |
24 \def\derssimp{\textit{ders}\_\textit{simp}} |
25 \def\rders{\textit{rders}} |
25 \def\rders{\textit{rders}} |
26 \newcommand{\bders}[2]{#1 \backslash #2} |
26 \newcommand{\bders}[2]{#1 \backslash #2} |
27 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
27 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
28 \def\bsimps{\textit{bsimp}} |
28 \def\bsimps{\textit{bsimp}} |
135 |
135 |
136 |
136 |
137 \def\rflts{\textit{rflts}} |
137 \def\rflts{\textit{rflts}} |
138 \def\rrewrite{\textit{rrewrite}} |
138 \def\rrewrite{\textit{rrewrite}} |
139 \def\bsimpalts{\textit{bsimp}_{ALTS}} |
139 \def\bsimpalts{\textit{bsimp}_{ALTS}} |
|
140 \def\bsimpaseq{\textit{bsimp}_{ASEQ}} |
|
141 \def\rsimlalts{\textit{rsimp}_{ALTs}} |
|
142 \def\rsimpseq{\textit{rsimp}_{SEQ}} |
140 |
143 |
141 \def\erase{\textit{erase}} |
144 \def\erase{\textit{erase}} |
142 \def\STAR{\textit{STAR}} |
145 \def\STAR{\textit{STAR}} |
143 \def\flts{\textit{flts}} |
146 \def\flts{\textit{flts}} |
144 |
147 |