| changeset 719 | 76ad188dbe68 |
| parent 568 | dfc5aa4a64dd |
| child 789 | 787914e9e859 |
| 718:1a4487fb9026 | 719:76ad188dbe68 |
|---|---|
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 |
33 |
34 \def\spl{_\pitchfork} |
34 \def\spl{_\pitchfork} |
35 \def\trans#1{_{\pitchfork #1}} |
|
35 |
36 |
36 %\def\nn#1{{{\it \small [#1]}}} |
37 %\def\nn#1{{{\it \small [#1]}}} |
37 \def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}} |
38 \def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}} |
38 \long\def\noop#1{} |
39 \long\def\noop#1{} |
39 |
40 |