equal
deleted
inserted
replaced
127 \renewcommand{\isacharbraceleft}{\emph{$\{$}}% |
127 \renewcommand{\isacharbraceleft}{\emph{$\{$}}% |
128 \renewcommand{\isacharbar}{\emph{$\mid$}}% |
128 \renewcommand{\isacharbar}{\emph{$\mid$}}% |
129 \renewcommand{\isacharbraceright}{\emph{$\}$}}% |
129 \renewcommand{\isacharbraceright}{\emph{$\}$}}% |
130 } |
130 } |
131 |
131 |
132 \newcommand{\isabellestylesl}{\isabellestyleit\renewcommand{\isastyle}{\small\slshape}} |
132 \newcommand{\isabellestylesl}{% |
|
133 \isabellestyleit% |
|
134 \renewcommand{\isastyle}{\small\sl}% |
|
135 \renewcommand{\isastyleminor}{\sl}% |
|
136 } |