symboles.sty

   1
   2 %___________________ PARAGRAPHES ___________________
   3
   4 \let\sx\section
   5 \let\ssx\subsection
   6 \let\sssx\subsubsection
   7
   8 %___________________ STYLES __________________________
   9
  10 \let\ts=\textstyle
  11 \let\ds=\displaystyle
  12 \let\ssc=\scriptstyle
  13 \let\sss=\scriptscriptstyle
  14
  15 \let\dl=\displaylines
  16
  17 \let\sou=\underline
  18 \let\sur=\overline
  19
  20 % \font\large=cmr12
  21 \font\grand=cmr12
  22 \font\giga=cmr17
  23
  24 %______ EXPOSANTS, INDICES EN MODE NON MATH _________
  25
  26 \def\up#1{\raisebox{1ex}{{\scriptsize #1}}}
  27 \def\down#1{\raisebox{-1ex}{{\scriptsize #1}}}
  28 \def\no{n\up{$\circ$}}
  29
  30 %__________ ENCADREMENTS , TRAITS DIVERS _____________________
  31
  32 \def\entoure#1#2{\setbox1=\hbox{\kern#1{#2}\kern#1}%
  33 \dimen1=\ht1 \advance\dimen1 by #1 \dimen2=\dp1
  34 \advance\dimen2 by #1
  35 \setbox1=\hbox{\vrule height\dimen1
  36 depth\dimen2\box1\vrule}%
  37 \setbox1=\vbox{\hrule\box1\hrule}%
  38 \advance\dimen1 by .4pt \ht1=\dimen1
  39 \advance\dimen2 by .4pt \dp1=\dimen2 \box1\relax}
  40
  41 \def\x#1{\entoure{4pt}{#1}}
  42
  43 \def\cvirp{\raise 2pt\hbox{,}}
  44
  45 \def\cqfd{\unskip\kern 6pt\penalty 500\raise
  46 -2pt\hbox{\vrule\vbox to 10pt{\hrule width
  47 4pt\vfill\hrule}\vrule}\par}
  48
  49 \def\clv{\hbox{\vrule\vbox to 6 pt{\hrule width
  50 4pt\vfill\hrule}\vrule}}
  51
  52 \def\trait {\hrule height 1pt depth 0pt}
  53
  54 \def\traith {\hrule height 1pt depth 0pt}
  55 \def\traitb {\hrule height 0pt depth 1pt}
  56
  57 \def\tvi#1#2{\vrule height #1 pt depth #2 pt width 0pt}
  58 \def\tvii#1{\vrule height #1 pt depth 5pt width 0pt}
  59 \def\tv{\tvii{12}\vrule}
  60 \def\ttv{\left\Vert\tvi{12}\right.}
  61
  62 %____________ INF OU EGAL __________________________
  63
  64 \let\infeg\leqslant
  65 \let\supeg\geqslant
  66
  67 %____________ SUPERPOSITION DE SYMBOLES _____________
  68
  69 \def\superpose#1_#2^#3{\mathrel{\mathop{\kern
  70 0pt#1}\limits_{#2}^{#3}}}
  71
  72 \def\fr #1#2{\ds {\raise -2pt\hbox{$#1$}\over
  73                             \raise 2pt\hbox{$#2$}}}
  74
  75 %______ Lignes de titre _________________
  76
  77 \def\ligne#1#2{#1 \hfill #2}
  78 \def\titre#1{\centerline{\entoure{5pt}{\bf #1}}}
  79
  80 %__________ N, Z, Q, R, C __________
  81
  82 \def\nmat{\hbox{\it I\hskip -2pt N}}
  83 \def\zmat{\hbox{\it Z\hskip -4pt Z}}
  84 \def\qmat{\hbox{\it l\hskip -5.5pt Q}}
  85 \def\rmat{\hbox{\it I\hskip -2pt R}}
  86 \def\cmat{\hbox{\it l\hskip -5.5pt C\/}}
  87
  88 \def\N{{\mathbb N}}
  89 \def\Prem{{\mathbb P}}
  90 \def\Net{{\mathbb N}^*}
  91 \def\Z{{\mathbb Z}}
  92 \def\Q{{\mathbb Q}}
  93 \def\R{{\mathbb R}}
  94 \def\Ret{{\mathbb R}^*}
  95 \def\Rpl{{\mathbb R}_+}
  96 \def\Rplet{{\mathbb R}_+^*}
  97 \def\Rmn{{\mathbb R}_-}
  98 \def\Rmnet{{\mathbb R}_-^*}
  99 \def\C{{\mathbb C}}
 100 \def\K{{\mathbb K}}
 101 \def\D{{\mathbb D}}
 102
 103 %__________ FLECHES ET LOGIQUE __________
 104
 105 \let\fc=\longmapsto              % pour "x donne f(x)"
 106 \let\vers=\rightarrow            % pour "tend vers"
 107 \let\flg=\leftarrow              % fleche simple courte vers la gauche
 108 \let\rec=\longleftarrow          % symbole d'affectation
 109 \let\Rec=\Longleftarrow          % fleche double longue vers la gauche
 110 \let\Imp=\Rightarrow             % implique         (double barre)
 111 \let\Ssi=\Leftrightarrow         % est equivalent a (double barre)
 112
 113 \let\ou=\vee                     % disjonction logique
 114 \let\et=\wedge                   % conjonction logique
 115 \let\non=\neg                    % negation logique
 116 \let\imp=\Rightarrow         % implication logique
 117 \let\ssi=\Longleftrightarrow     % equivalence logique
 118 \let\eqv=\Longleftrightarrow
 119
 120 \let\qqs=\forall                 % quantificateur universel
 121 \let\exi=\exists                 % quantificateur existentiel
 122
 123 \let\theor=\vdash                % déduction
 124 \let\tauto=\models               % conséquence logique
 125 \def\vrai{\textit{vrai}}         % vrai
 126 \def\faux{\textit{faux}}         % faux
 127
 128
 129
 130 %___________ COMBINATOIRE ET ENSEMBLES ______________
 131
 132 \def\cnp{\mathop{\raise -1pt\hbox{\large C}}\nolimits}
 133 \def\card{\mathop{\rm Card}\nolimits}
 134
 135 \let\vide=\emptyset
 136 \def\void{\not{\kern -1.55pt\rm o}}
 137
 138 \let\union=\cup
 139 \let\inter=\cap
 140 \let\moins=\setminus
 141 \let\sse=\subset
 142
 143 \def\enspart#1{{\cal P}(#1)}
 144
 145 \def\rest#1#2{{#1}_{\left|\mathstrut #2\right.}}
 146 \def\idl#1{{\goth #1}}
 147
 148 %__________ TOPO ____________________________
 149
 150 \def\min{\mathop{\rm Min}\limits}
 151 \def\max{\mathop{\rm Max}\limits}
 152 \def\sup{\mathop{\rm Sup}\limits}
 153 \def\inf{\mathop{\rm Inf}\limits}
 154
 155 \let\nor=\Vert                 % norme
 156 \def\nme#1{\nor #1\nor}
 157 \def\trnme#1{|||#1|||}         % "triple" norme
 158 \def\nmex#1{\left|\!\left|#1\right|\!\right|}
 159                                % norme extensible
 160
 161 \let\Inf=\infty                % infini
 162 \def\plinf{{+\infty}}          % plus l'infini
 163 \def\moinf{{-\infty}}          % moins l'infini
 164
 165 \def\Rpl{\R_{\sss +}}          % double R plus
 166 \def\Rmo{\R_{\sss -}}          % double R moins
 167
 168 \def\intr#1{\,\buildrel{\kern 2pt\circ}\over{#1}} % int�rieur
 169
 170 %_____________________ FONCTIONS _______________________
 171
 172 \def\tg{\mathop{\rm tg}\nolimits}
 173 \def\arcsin{\mathop{\rm Arcsin}\nolimits}
 174 \def\arccos{\mathop{\rm Arccos}\nolimits}
 175 \def\arctg{\mathop{\rm Arctg}\nolimits}
 176 \def\ch{\mathop{\rm ch}\nolimits}
 177 \def\sh{\mathop{\rm sh}\nolimits}
 178 \def\th{\mathop{\rm th}\nolimits}
 179 \def\argsh{\mathop{\rm Argsh}\nolimits}
 180 \def\argch{\mathop{\rm Argch}\nolimits}
 181 \def\argth{\mathop{\rm Argth}\nolimits}
 182 \def\log{\mathop{\rm ln}\nolimits}
 183 \def\Log{\mathop{\rm Log}\nolimits}
 184 \def\E{\mathop{\rm E}\nolimits}                % partie entiere
 185 \def\e{\mathop{\rm e}\nolimits}                % exponentielle
 186
 187 %______________ ANALYSE _______________
 188
 189 \def\cl{{\cal C}}                             % classe d'une fonction
 190
 191 \def\intint{\int\!\!\!\!\int}                 % int. double
 192 \def\intintint{\int\!\!\!\!\int\!\!\!\!\int}  % int. triple
 193
 194 \let\dep=\partial                             % d rond
 195 \def\ddr{{\rm d\,}}                           % d droit
 196 \def\dpar#1#2{\fr{\partial#1}{\partial#2}}    % d rond #1 sur d rond #2
 197 \def\dtot#1#2{\fr{{\rm d}#1}{{\rm d}#2}}      % d droit #1 sur d droit #2
 198
 199 \def\ste#1#2#3{\left(#1_#2\right)_{#2\in #3}}
 200 \def\sten#1#2{\ste{#1}{#2}\N}
 201 \def\stenet#1#2{\ste{#1}{#2}{\N^*}}
 202 \def\stenn#1{\sten{#1}n}
 203 \def\stennet#1{\stenet{#1}n}
 204
 205 %______________ ALGEBRE _______________
 206
 207 \def\Re{{\goth Re}}
 208 \def\Im{{\goth Im}}
 209
 210 \def\deg{\mathop{\hbox{d\up{o}}}\nolimits}
 211
 212 %_______________ ALGEBRE LINEAIRE ______________________
 213
 214 \def\com{\mathop{\rm Com}\nolimits}
 215 \def\det{\mathop{\rm D\acute e t}\nolimits}
 216 \def\dim{\mathop{\rm dim}\nolimits}
 217 \def\ker{\mathop{\rm Ker}\nolimits}
 218 \def\id{\mathop{\rm id}\nolimits}
 219 \def\im{\mathop{\rm Im}\nolimits}
 220 \def\tr{\mathop{\rm Tr}\limits}
 221 \def\vect{\mathop{\rm Vect}\nolimits}
 222 \def\rang{\mathop{\rm rang}\nolimits}
 223 \def\diag{\mathop{\rm diag}\nolimits}
 224 \def\sp{\mathop{\rm Sp}\nolimits}
 225 \def\GL#1#2{{\cal GL}_{#1}(#2)}
 226 \def\gl#1{{\cal GL}(#1)}
 227 \def\mat#1#2{{\rm Mat}\,\left(#1\vir#2\right)}
 228 \def\matb#1#2#3{{\rm Mat}\left(#1\vir#2\vir#3\right)}
 229 \def\matbb#1{{\rm Mat}_{\cal B}\left(#1\right)}
 230 \def\matcar#1#2{{\cal M}_{#1}\left(#2\right)}
 231 \def\mn#1{\matcar n{#1}}
 232 \def\matrect#1#2#3{{\cal M}_{#1,#2}\left(#3\right)}
 233 \def\apl#1#2{{\cal L}\left(#1,#2\right)}
 234 \def\aplr#1#2{{\cal L}\left(\R^#1,\R^#2\right)}
 235 \def\endo#1{{\cal L}\left(#1\right)}
 236 \def\endor#1{{\cal L}\left(\R^#1\right)}
 237 \def\nul#1{0_{#1}}
 238 \def\endonul#1{O_{{\cal L}(#1)}}
 239 \def\evnul#1{\left\{\nul#1\right\}}
 240 \def\fami#1#2{({#2}_1\,,\,{#2}_2\,,\,\ldots\,,\,{#2}_{#1})}
 241 \def\famn#1{\fami{n}{#1}}
 242
 243 %_____ POUR MATRICES, points parall�les � diag 2 _____
 244
 245 \def\adots{\mathinner{\mkern2mu\raise1pt\hbox{.}
 246 \mkern3mu\raise4pt\hbox{.}\mkern1mu\raise7pt\hbox{.}}}
 247
 248 %__________ GEOMETRIE _______________________________
 249
 250 \def\grad{\mathop{\rm grad}\nolimits}
 251 \def\so{\mathop{\cal SO}\nolimits}
 252 \def\og#1{{\cal O}(#1)}
 253 \let\vc=\overrightarrow
 254
 255 \def\arc#1{\buildrel\frown\over{#1}}
 256 \def\arcfl#1{\buildrel{\ds\bb y}\over{#1}}
 257
 258 \def\pscal#1#2{\langle #1\vir #2\rangle}
 259
 260 %__________ ARITHMETIQUE _______________________________
 261
 262 \def\mod{\mathop{\rm mod}\nolimits}
 263 \def\dv{\mathop{\rm div}\nolimits}
 264
 265 %__________ Programmes _______________
 266
 267 \def\prol{\parindent=1cm\obeylines\tt }
 268 \def\dec {\advance\parindent by 1cm}
 269
 270 \def\prog#1{\advance\parindent by #1 cm\obeylines\tt}
 271 \def\ind#1{\advance\parindent by #1 cm}
 272
 273 %__________ en-dessus, au-dessous d'un symbole __________
 274
 275 \def\build#1_#2^#3{\mathrel{
 276 \mathop{\kern 0pt#1}\limits_{#2}^{#3}}}
 277
 278 %____________________ DIVERS ____________________________
 279
 280 \def\bs{\char"5C}              % le backslash !!!
 281
 282 \def\vir{\,,\,} \def\cdotv{\raise 2pt\hbox{,}}
 283
 284 \def\jbar{\sur{\mathstrut\,j\,}}
 285
 286 \def\psaut{\vskip 2pt}
 287 \def\saut{\vskip 5pt}
 288 \def\gsaut{\vskip 8pt}
 289 \def\Saut{\vskip 8pt}
 290
 291 \def\fin{\gsaut\centerline{\hbox to 3cm{\hrulefill}}}
 292
 293 \def\nopagenumbers{\def\folio{\hfil}}
 294