equal
deleted
inserted
replaced
35 \newcommand{\isasymQED}{\cmd{qed}} |
35 \newcommand{\isasymQED}{\cmd{qed}} |
36 \newcommand{\isasymFIX}{\cmd{fix}} |
36 \newcommand{\isasymFIX}{\cmd{fix}} |
37 \newcommand{\isasymASSUME}{\cmd{assume}} |
37 \newcommand{\isasymASSUME}{\cmd{assume}} |
38 \newcommand{\isasymSHOW}{\cmd{show}} |
38 \newcommand{\isasymSHOW}{\cmd{show}} |
39 \newcommand{\isasymNOTE}{\cmd{note}} |
39 \newcommand{\isasymNOTE}{\cmd{note}} |
40 \newcommand{\isasymIN}{\cmd{in}} |
|
41 |
40 |
42 \newcommand{\qt}[1]{``#1''} |
41 \newcommand{\qt}[1]{``#1''} |
43 \newcommand{\qtt}[1]{"{}{#1}"{}} |
42 \newcommand{\qtt}[1]{"{}{#1}"{}} |
44 \newcommand{\qn}[1]{\emph{#1}} |
43 \newcommand{\qn}[1]{\emph{#1}} |
45 \newcommand{\strong}[1]{{\bfseries #1}} |
44 \newcommand{\strong}[1]{{\bfseries #1}} |