equal
deleted
inserted
replaced
129 \renewcommand{\isacharbrackright}{\emph{$]$}}% |
129 \renewcommand{\isacharbrackright}{\emph{$]$}}% |
130 \renewcommand{\isacharunderscore}{\mbox{-}}% |
130 \renewcommand{\isacharunderscore}{\mbox{-}}% |
131 \renewcommand{\isacharbraceleft}{\emph{$\{$}}% |
131 \renewcommand{\isacharbraceleft}{\emph{$\{$}}% |
132 \renewcommand{\isacharbar}{\emph{$\mid$}}% |
132 \renewcommand{\isacharbar}{\emph{$\mid$}}% |
133 \renewcommand{\isacharbraceright}{\emph{$\}$}}% |
133 \renewcommand{\isacharbraceright}{\emph{$\}$}}% |
|
134 \renewcommand{\isachartilde}{\emph{${}^\sim$}}% |
134 } |
135 } |
135 |
136 |
136 \newcommand{\isabellestylesl}{% |
137 \newcommand{\isabellestylesl}{% |
137 \isabellestyleit% |
138 \isabellestyleit% |
138 \renewcommand{\isastyle}{\small\sl}% |
139 \renewcommand{\isastyle}{\small\sl}% |