1 \newcommand{\@entity}[1]{\@print{&}\@subst{#1}\@print{;}} 2 \newcommand{\@bigentity}[1]{\begin{Huge}\@subst{#1};\end{Huge}} 3 \newcommand{\@numentity}[1]{\@print{&#}\@subst{#1}\@print{;}} 4 %%Petit extra 5 %% HTML 4.0 symbol entities 6 %% classes dans le meme ordre que 7 %% dans le livre LaTeX, de Leslie Lamport. 8 %%%%%%%%%%%%%%%%%%% 9 % 10 % 11 \ifmoreentities 12 \renewcommand{\longleftarrow}{\@print{⟵}}% 13 \renewcommand{\Longleftarrow}{\@print{⟸}}% 14 \renewcommand{\longrightarrow}{\@print{⟶}}% 15 \renewcommand{\Longrightarrow}{\@print{⟹}}% 16 \renewcommand{\longleftrightarrow}{\@print{⟷}}% 17 \renewcommand{\Longleftrightarrow}{\@print{⟺}}% 18 \renewcommand{\longmapsto}{\@print{⟼}}% 19 \else\fi 20 % 21 %% Miscellaneous symbols (Table 8.7 of 'Goos-Mitt-Sam') 22 % 23 24 % 25 %% Delimiters 26 % 27 %% Variable-sized Symbols 28 % 29 \iffalse 30 \newcommand{\@iint}{\@print{∬}} 31 \newcommand{\@iiint}{\@print{∭}} 32 \newcommand{\@oiint}{\@print{∯}} 33 \newcommand{\@oiiint}{\@print{∰}} 34 \newcommand{\@displayint}{\mbox{\Large\@entity{int}}} 35 \newcommand{\@displayiint}{\mbox{\Large\@print{∬}}} 36 \newcommand{\@displayiiint}{\mbox{\Large\@print{∭}}} 37 \newcommand{\@displaysum}{\mbox{\Large\@sum}} 38 \newcommand{\@displayprod}{\mbox{\Large\@prod}} 39 \newcommand{\@displaycoprod}{\mbox{\Large\@coprod}} 40 \newcommand{\@displayoint}{\mbox{\Large\@print{∮}}} 41 \newcommand{\@displayoiint}{\mbox{\Large\@print{∯}}} 42 \newcommand{\@displayoiiint}{\mbox{\huge\@print{∰}}} 43 \fi