| changeset 789 | 787914e9e859 |
| parent 719 | 76ad188dbe68 |
| child 797 | 40729de8e067 |
| 788:6a1b6c2de201 | 789:787914e9e859 |
|---|---|
28 \def\ot{\otimes} |
28 \def\ot{\otimes} |
29 \def\vphi{\varphi} |
29 \def\vphi{\varphi} |
30 \def\inv{^{-1}} |
30 \def\inv{^{-1}} |
31 \def\ol{\overline} |
31 \def\ol{\overline} |
32 \def\BD{BD} |
32 \def\BD{BD} |
33 \def\bbc{{\mathcal{BBC}}} |
|
33 |
34 |
34 \def\spl{_\pitchfork} |
35 \def\spl{_\pitchfork} |
35 \def\trans#1{_{\pitchfork #1}} |
36 \def\trans#1{_{\pitchfork #1}} |
36 |
37 |
37 %\def\nn#1{{{\it \small [#1]}}} |
38 %\def\nn#1{{{\it \small [#1]}}} |