songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Some minor adjustments.

This commit is contained in:
Sylvain Pion 2009-01-04 19:18:18 +00:00
parent 62a70f2692
commit 6c8aa0df6b
2 changed files with 79 additions and 79 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

156
Manual_tools/src/latex_converter_config/html/latex.sty
View File

@ -483,15 +483,15 @@
% +--------------------------------------------------------------------------
% | * Greek alphabet: following Table 3.3 page 41 in Lamport.
% +--------------------------------------------------------------------------
\newcommand{\alpha}{\lcRawHtml { α }}
\newcommand{\beta}{\lcRawHtml { β }}
\newcommand{\gamma}{\lcRawHtml { γ }}
\newcommand{\delta}{\lcRawHtml { δ }}
\newcommand{\epsilon}{\lcRawHtml { ε }}
\newcommand{\varepsilon}{\lcRawHtml { ε }}
\newcommand{\alpha}{\lcRawHtml{α}}
\newcommand{\beta}{\lcRawHtml{β}}
\newcommand{\gamma}{\lcRawHtml{γ}}
\newcommand{\delta}{\lcRawHtml{δ}}
\newcommand{\epsilon}{\lcRawHtml{ε}}
\newcommand{\varepsilon}{\lcRawHtml{ε}}
\newcommand{\zeta}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_zeta.gif">}}
\newcommand{\eta}{\lcRawHtml { &eta; }}
\newcommand{\eta}{\lcRawHtml{&eta;}}
\newcommand{\theta}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=6 HEIGHT=13 ALIGN=BOTTOM SRC="cc_lowercase_theta.gif">}}
\newcommand{\vartheta}{\lcRawHtml%
@ -500,29 +500,29 @@
{<IMG BORDER=0 WIDTH=4 HEIGHT=8 ALIGN=BOTTOM SRC="cc_iota.gif">}}
\newcommand{\kappa}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=8 HEIGHT=8 ALIGN=BOTTOM SRC="cc_kappa.gif">}}
\newcommand{\lambda}{\lcRawHtml { &lambda; }}
\newcommand{\lambda}{\lcRawHtml{&lambda;}}
\newcommand{\mu}{\lcRawHtml{&micro;}}
%%\newcommand{\mu}{\lcRawHtml%
%% {<IMG BORDER=0 WIDTH=9 HEIGHT=17 ALIGN=MIDDLE SRC="cc_lowercase_mu.gif">}}
\newcommand{\nu}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=7 HEIGHT=8 ALIGN=BOTTOM SRC="cc_nu.gif">}}
\newcommand{\xi}{\lcRawHtml { &xi; }}
\newcommand{\pi}{\lcRawHtml { &pi; }}
\newcommand{\xi}{\lcRawHtml{&xi;}}
\newcommand{\pi}{\lcRawHtml{&pi;}}
\newcommand{\varpi}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=13 HEIGHT=8 ALIGN=BOTTOM SRC="cc_varpi.gif">}}
\newcommand{\rho}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=7 HEIGHT=17 ALIGN=MIDDLE SRC="cc_rho.gif">}}
\newcommand{\varrho}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=6 HEIGHT=17 ALIGN=MIDDLE SRC="cc_varrho.gif">}}
\newcommand{\sigma}{\lcRawHtml { &sigma; }}
\newcommand{\sigma}{\lcRawHtml{&sigma;}}
\newcommand{\varsigma}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=5 HEIGHT=17 ALIGN=MIDDLE SRC="cc_varsigma.gif">}}
\newcommand{\tau}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=8 HEIGHT=8 ALIGN=BOTTOM SRC="cc_tau.gif">}}
\newcommand{\upsilon}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=8 HEIGHT=8 ALIGN=BOTTOM SRC="cc_lowercase_upsilon.gif">}}
\newcommand{\phi}{\lcRawHtml { &Phi; }}
\newcommand{\varphi}{\lcRawHtml { &phi; }}
\newcommand{\phi}{\lcRawHtml{&Phi;}}
\newcommand{\varphi}{\lcRawHtml{&phi;}}
\newcommand{\chi}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=11 HEIGHT=17 ALIGN=MIDDLE SRC="cc_chi.gif">}}
\newcommand{\psi}{\lcRawHtml%
@ -532,20 +532,20 @@
\newcommand{\Gamma}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=9 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Gamma.gif">}}
\newcommand{\Delta}{\lcRawHtml { &Delta; }}
\newcommand{\Theta}{\lcRawHtml { &Theta; }}
\newcommand{\Delta}{\lcRawHtml{&Delta;}}
\newcommand{\Theta}{\lcRawHtml{&Theta;}}
\newcommand{\Lambda}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Lambda.gif">}}
\newcommand{\Xi}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=9 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Xi.gif">}}
\newcommand{\Pi}{\lcRawHtml { &Pi; }}
\newcommand{\Sigma}{\lcRawHtml { &Sigma; }}
\newcommand{\Pi}{\lcRawHtml{&Pi;}}
\newcommand{\Sigma}{\lcRawHtml{&Sigma;}}
\newcommand{\Upsilon}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Upsilon.gif">}}
\newcommand{\Phi}{\lcRawHtml { &Phi; }}
\newcommand{\Phi}{\lcRawHtml{&Phi;}}
\newcommand{\Psi}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Psi.gif">}}
\newcommand{\Omega}{\lcRawHtml { &Omega; }}
\newcommand{\Omega}{\lcRawHtml{&Omega;}}
% +--------------------------------------------------------------------------
% | * Calligraphic letters
@ -595,7 +595,7 @@
{ <IMG BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_A.gif"> }}
\newcommand{\lciMathbbB}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_B.gif"> }}
\newcommand{\lciMathbbC}{\lcRawHtml { &#x2102; }}
\newcommand{\lciMathbbC}{\lcRawHtml{<span class="sym">&#x2102;</span>}}
\newcommand{\lciMathbbD}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_D.gif"> }}
\newcommand{\lciMathbbE}{\lcRawHtml%
@ -616,12 +616,12 @@
{ <IMG BORDER=0 WIDTH=12 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_L.gif"> }}
\newcommand{\lciMathbbM}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=18 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_M.gif"> }}
\newcommand{\lciMathbbN}{\lcRawHtml { &#x2115; }}
\newcommand{\lciMathbbN}{\lcRawHtml{<span class="sym">&#x2115;</span>}}
\newcommand{\lciMathbbO}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=12 HEIGHT=20 ALIGN=MIDDLE SRC="cc_mathbb_O.gif"> }}
\newcommand{\lciMathbbP}{\lcRawHtml { &#x2119; }}
\newcommand{\lciMathbbQ}{\lcRawHtml { &#x211A; }}
\newcommand{\lciMathbbR}{\lcRawHtml { &#x211D; }}
\newcommand{\lciMathbbP}{\lcRawHtml{<span class="sym">&#x2119;</span>}}
\newcommand{\lciMathbbQ}{\lcRawHtml{<span class="sym">&#x211A;</span>}}
\newcommand{\lciMathbbR}{\lcRawHtml{<span class="sym">&#x211D;</span>}}
\newcommand{\lciMathbbS}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=8 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_S.gif"> }}
\newcommand{\lciMathbbT}{\lcRawHtml%
@ -636,7 +636,7 @@
{ <IMG BORDER=0 WIDTH=14 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_X.gif"> }}
\newcommand{\lciMathbbY}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=13 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mathbb_Y.gif"> }}
\newcommand{\lciMathbbZ}{\lcRawHtml { &#x2124; }}
\newcommand{\lciMathbbZ}{\lcRawHtml{<span class="sym">&#x2124;</span>}}
% +--------------------------------------------------------------------------
% | * The \not command on some symbols (not all defined)
@ -653,19 +653,19 @@
% +--------------------------------------------------------------------------
% | * Binary operation symbols following Table 3.4 page 42 in Lamport.
% +--------------------------------------------------------------------------
\newcommand{\pm}{\lcRawHtml{ &plusmn; }}
\newcommand{\times}{\lcRawHtml{ &times; }}
\newcommand{\div}{\lcRawHtml{ &divide; }}
\newcommand{\pm}{\lcRawHtml{&plusmn;}}
\newcommand{\times}{\lcRawHtml{&times;}}
\newcommand{\div}{\lcRawHtml{&divide;}}
\newcommand{\mp}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_mp.gif"> }}
\newcommand{\ast}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=6 HEIGHT=8 ALIGN=BOTTOM SRC="cc_ast.gif"> }}
\newcommand{\star}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=4 HEIGHT=2 ALIGN=BOTTOM SRC="cc_star.gif"> }}
\newcommand{\circ}{\lcRawHtml { &deg; }}
\newcommand{\bullet}{\lcRawHtml { &bull; }}
\newcommand{\cap}{\lcRawHtml { &cap; }}
\newcommand{\cup}{\lcRawHtml { &cup; }}
\newcommand{\circ}{\lcRawHtml{&deg;}}
\newcommand{\bullet}{\lcRawHtml{&bull;}}
\newcommand{\cap}{\lcRawHtml{ <span class="sym">&cap;</span> }}
\newcommand{\cup}{\lcRawHtml{ <span class="sym">&cup;</span> }}
\newcommand{\uplus}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uplus.gif"> }}
\newcommand{\sqcap}{\lcRawHtml%
@ -676,7 +676,7 @@
{ <IMG BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_vee.gif"> }}
\newcommand{\wedge}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=9 HEIGHT=11 ALIGN=BOTTOM SRC="cc_wedge.gif"> }}
\newcommand{\setminus}{\lcRawHtml { \ }}
\newcommand{\setminus}{\lcRawHtml{ \ }}
\newcommand{\wr}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=2 HEIGHT=21 ALIGN=MIDDLE SRC="cc_wr.gif"> }}
\newcommand{\diamond}{\lcRawHtml%
@ -697,7 +697,7 @@
{ <IMG BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_unlhd.gif"> }}
\newcommand{\unrhd}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_unrhd.gif"> }}
\newcommand{\oplus}{\lcRawHtml { &oplus; }}
\newcommand{\oplus}{\lcRawHtml{&oplus;}}
\newcommand{\ominus}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=23 ALIGN=MIDDLE SRC="cc_ominus.gif"> }}
\newcommand{\otimes}{\lcRawHtml%
@ -721,7 +721,7 @@
\newcommand{\le}{\leq}
\newcommand{\ge}{\geq}
\newcommand{\leq}{\lcRawHtml { &le; }}
\newcommand{\leq}{\lcRawHtml{ <span class="sym">&le;</span> }}
\newcommand{\prec}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_prec.gif"> }}
\newcommand{\preceq}{\lcRawHtml%
@ -730,15 +730,15 @@
{ <IMG BORDER=0 WIDTH=15 HEIGHT=25 ALIGN=MIDDLE SRC="cc_ll.gif"> }}
\newcommand{\subset}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_subset.gif"> }}
\newcommand{\subseteq}{\lcRawHtml { &sube; }}
\newcommand{\subseteq}{\lcRawHtml{ <span class="sym">&sube;</span> }}
\newcommand{\sqsubset}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=12 HEIGHT=21 ALIGN=MIDDLE SRC="cc_sqsubset.gif"> }}
\newcommand{\sqsubseteq}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=12 HEIGHT=25 ALIGN=MIDDLE SRC="cc_sqsubseteq.gif"> }}
\newcommand{\in}{\lcRawHtml{ &isin; }}
\newcommand{\in}{\lcRawHtml{ <span class="sym">&isin;</span> }}
\newcommand{\vdash}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_vdash.gif"> }}
\newcommand{\geq}{\lcRawHtml { &ge; }}
\newcommand{\geq}{\lcRawHtml{ <span class="sym">&ge;</span> }}
\newcommand{\succ}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_succ.gif"> }}
\newcommand{\succeq}{\lcRawHtml%
@ -757,8 +757,8 @@
{ <IMG BORDER=0 WIDTH=9 HEIGHT=21 ALIGN=MIDDLE SRC="cc_ni.gif"> }}
\newcommand{\dashv}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_dashv.gif"> }}
\newcommand{\equiv}{\lcRawHtml { &equiv; }}
\newcommand{\sim}{\lcRawHtml { &sim; }}
\newcommand{\equiv}{\lcRawHtml{ <span class="sym">&equiv;</span> }}
\newcommand{\sim}{\lcRawHtml{ <span class="sym">&sim;</span> }}
\newcommand{\simeq}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=8 ALIGN=BOTTOM SRC="cc_simeq.gif"> }}
\newcommand{\asymp}{\lcRawHtml%
@ -767,8 +767,8 @@
{ <IMG BORDER=0 WIDTH=11 HEIGHT=10 ALIGN=BOTTOM SRC="cc_approx.gif"> }}
\newcommand{\cong}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_cong.gif"> }}
\newcommand{\neq}{\lcRawHtml { &ne; }}
\newcommand{\ne}{\lcRawHtml { &ne; }}
\newcommand{\neq}{\lcRawHtml{ <span class="sym">&ne;</span> }}
\newcommand{\ne}{\lcRawHtml{ <span class="sym">&ne;</span> }}
\newcommand{\doteq}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=9 ALIGN=BOTTOM SRC="cc_doteq.gif"> }}
\newcommand{\notin}{\lcRawHtml%
@ -777,8 +777,8 @@
{ <IMG BORDER=0 WIDTH=12 HEIGHT=29 ALIGN=MIDDLE SRC="cc_models.gif"> }}
\newcommand{\perp}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_perp.gif"> }}
\newcommand{\mid}{\lcRawHtml { | }}
\newcommand{\parallel}{\lcRawHtml { || }}
\newcommand{\mid}{\lcRawHtml{ <span class="sym">|</span> }}
\newcommand{\parallel}{\lcRawHtml{<span class="sym">||</span>}}
\newcommand{\bowtie}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=12 HEIGHT=7 ALIGN=BOTTOM SRC="cc_bowtie.gif"> }}
\newcommand{\Join}{\lcRawHtml%
@ -795,13 +795,13 @@
% +--------------------------------------------------------------------------
\newcommand{\leftarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftarrow.gif"> }}
\newcommand{\Leftarrow}{\lcRawHtml { &lArr; }}
\newcommand{\rightarrow}{\lcRawHtml { &rarr; }}
\newcommand{\Rightarrow}{\lcRawHtml { &rArr; }}
\newcommand{\Leftarrow}{\lcRawHtml{ <span class="sym">&lArr;</span> }}
\newcommand{\rightarrow}{\lcRawHtml{ <span class="sym">&rarr;</span> }}
\newcommand{\Rightarrow}{\lcRawHtml{ <span class="sym">&rArr;</span> }}
\newcommand{\leftrightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftrightarrow.gif"> }}
\newcommand{\Leftrightarrow}{\lcRawHtml { &hArr; }}
\newcommand{\mapsto}{\lcRawHtml { &#8614; }}
\newcommand{\Leftrightarrow}{\lcRawHtml{ <span class="sym">&hArr;</span> }}
\newcommand{\mapsto}{\lcRawHtml{ <span class="sym">&#8614;</span> }}
\newcommand{\hookleftarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=17 HEIGHT=9 ALIGN=BOTTOM SRC="cc_hookleftarrow.gif"> }}
\newcommand{\leftharpoonup}{\lcRawHtml%
@ -810,14 +810,14 @@
{ <IMG BORDER=0 WIDTH=15 HEIGHT=5 ALIGN=BOTTOM SRC="cc_leftharpoondown.gif"> }}
\newcommand{\rightleftharpoons}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=24 ALIGN=MIDDLE SRC="cc_rightleftharpoons.gif"> }}
\newcommand{\longleftarrow}{\lcRawHtml { &larr; }}
\newcommand{\longleftarrow}{\lcRawHtml{ <span class="sym">&larr;</span> }}
\newcommand{\Longleftarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=25 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Longleftarrow.gif"> }}
\newcommand{\longrightarrow}{\lcRawHtml { &rarr; }}
\newcommand{\Longrightarrow}{\lcRawHtml { &rArr; }}
\newcommand{\longrightarrow}{\lcRawHtml{ <span class="sym">&rarr;</span> }}
\newcommand{\Longrightarrow}{\lcRawHtml{ <span class="sym">&rArr;</span> }}
\newcommand{\longleftrightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=30 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_longleftrightarrow.gif"> }}
\newcommand{\Longleftrightarrow}{\lcRawHtml { &hArr; }}
\newcommand{\Longleftrightarrow}{\lcRawHtml{ <span class="sym">&hArr;</span> }}
\newcommand{\longmapsto}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=26 HEIGHT=9 ALIGN=BOTTOM SRC="cc_longmapsto.gif"> }}
\newcommand{\hookrightarrow}{\lcRawHtml%
@ -854,7 +854,7 @@
% +--------------------------------------------------------------------------
\newcommand{\prime}{'}
\newcommand{\|}{\parallel}
\newcommand{\neg}{\lcRawHtml{ &not; }}
\newcommand{\neg}{\lcRawHtml{&not;}}
\newcommand{\backslash}{\verb+\+}
\newcommand{\slash}{\verb+/+}
@ -876,25 +876,25 @@
{ <IMG BORDER=0 WIDTH=11 HEIGHT=13 ALIGN=BOTTOM SRC="cc_Im.gif"> }}
\newcommand{\mho}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=10 HEIGHT=12 ALIGN=BOTTOM SRC="cc_mho.gif"> }}
\newcommand{\emptyset}{\lcRawHtml { &empty; }}
\newcommand{\nabla}{\lcRawHtml { &nabla; }}
\newcommand{\emptyset}{\lcRawHtml{&empty;}}
\newcommand{\nabla}{\lcRawHtml{&nabla;}}
\newcommand{\surd}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=13 HEIGHT=27 ALIGN=MIDDLE SRC="cc_surd.gif"> }}
\newcommand{\top}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_top.gif"> }}
\newcommand{\bot}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_bot.gif"> }}
\newcommand{\angle}{\lcRawHtml { &ang; }}
\newcommand{\forall}{\lcRawHtml { &forall; }}
\newcommand{\exists}{\lcRawHtml { &exist; }}
\newcommand{\angle}{\lcRawHtml{ <span class="sym">&ang;</span>}}
\newcommand{\forall}{\lcRawHtml{ <span class="sym">&forall;</span> }}
\newcommand{\exists}{\lcRawHtml{ <span class="sym">&exist;</span> }}
\newcommand{\flat}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=4 HEIGHT=14 ALIGN=BOTTOM SRC="cc_flat.gif"> }}
\newcommand{\natural}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_natural.gif"> }}
\newcommand{\sharp}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_sharp.gif"> }}
\newcommand{\partial}{\lcRawHtml { &part; }}
\newcommand{\infty}{\lcRawHtml { &infin; }}
\newcommand{\partial}{\lcRawHtml{&part;}}
\newcommand{\infty}{\lcRawHtml{&infin;}}
\newcommand{\Box}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=10 HEIGHT=10 ALIGN=BOTTOM SRC="cc_Box.gif"> }}
\newcommand{\Diamond}{\lcRawHtml%
@ -916,7 +916,7 @@
% +------------------------------------------------ --------------------------
\newcommand{\sum}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{<span class="big_sym">&sum;</span>}}%
{\lcRawHtml{ <span class="sym">&sum;</span> }}}
{\lcRawHtml{<span class="sym">&sum;</span>}}}
\newcommand{\prod}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=16 HEIGHT=29 ALIGN=MIDDLE SRC="cc_big_prod.gif"> }}%
{\lcRawHtml{ <IMG BORDER=0 WIDTH=11 HEIGHT=24 ALIGN=MIDDLE SRC="cc_prod.gif"> }}}
@ -930,7 +930,7 @@
{ <IMG BORDER=0 WIDTH=12 HEIGHT=44 ALIGN=MIDDLE SRC="cc_big_oint.gif"> }}%
{\lcRawHtml{ <IMG BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_oint.gif"> }}}
\newcommand{\bigcap}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{ &cap; }}%
{<span class="big_sym">&cap;</span>}}%
{\lcRawHtml{ <IMG BORDER=0 WIDTH=10 HEIGHT=24 ALIGN=MIDDLE SRC="cc_bigcap.gif"> }}}
\newcommand{\bigcup}{\lciIf{\lciMathModeDisplay}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=14 HEIGHT=29 ALIGN=MIDDLE SRC="cc_big_bigcup.gif"> }}%
@ -961,7 +961,7 @@
% +--------------------------------------------------------------------------
% | * this is actually a amssymb:
% +--------------------------------------------------------------------------
\newcommand{\gtreqless}{\lcRawHtml{&#8923;}}
\newcommand{\gtreqless}{\lcRawHtml{ <span class="sym">&#8923;</span> }}
% +--------------------------------------------------------------------------
% | * Log-like functions following Table 3.9 page 44 in Lamport.
@ -1006,12 +1006,12 @@
% +--------------------------------------------------------------------------
% | * Delimiters following Table 3.10 page 47 in Lamport.
% +--------------------------------------------------------------------------
\newcommand{\lfloor}{\lcRawHtml { &lfloor; }}
\newcommand{\lceil}{\lcRawHtml { &lceil; }}
\newcommand{\langle}{\lcRawHtml { &lang; }}
\newcommand{\rfloor}{\lcRawHtml { &rfloor; }}
\newcommand{\rceil}{\lcRawHtml { &rceil; }}
\newcommand{\rangle}{\lcRawHtml { &rang; }}
\newcommand{\lfloor}{\lcRawHtml{<span class="sym">&lfloor;</span>}}
\newcommand{\lceil}{\lcRawHtml{<span class="sym">&lceil;</span>}}
\newcommand{\langle}{\lcRawHtml{<span class="sym">&lang;</span>}}
\newcommand{\rfloor}{\lcRawHtml{<span class="sym">&rfloor;</span>}}
\newcommand{\rceil}{\lcRawHtml{<span class="sym">&rceil;</span>}}
\newcommand{\rangle}{\lcRawHtml{<span class="sym">&rang;</span>}}
% +--------------------------------------------------------------------------
% | * Math mode accents following Table 3.11 page 50 in Lamport.
@ -1466,20 +1466,20 @@
\newcommand{\sqrt}[1]{\lcRawHtml{&radic;<span style="text-decoration:overline">}#1\lcRawHtml{</span>}}
\newcommand{\sqrt@om}{\lcRawHtml{root<SUB>}#1\lcRawHtml{</SUB>}(#2)}
\newcommand{\frac}[2]{(#1)/(#2)}
\newcommand{\frac}[2]{\lcRawHtml{<span class="sym">(</span>}#1\lcRawHtml{<span class="sym">)</span>/<span class="sym">(</span>}#2\lcRawHtml{<span class="sym">)</span>}}
%\newcommand{\frac}[2]{\lcRawHtml{<TABLE><TR><TD ALIGN=CENTER>}#1\lcRawHtml
% {</TD></TR><TR><TD ALIGN=CENTER><hr></TD></TR><TR><TD ALIGN=CENTER>}%
% #2\lcRawHtml{</TD></TR></TABLE>}}
%% correct in HTML 3.2 ?:
% \newcommand{\frac}[2]{\lcRawHtml{<BOX>}#1\lcRawHtml{<OVER>}#2\lcRawHtml{</BOX>}}
\newcommand{\over}{/} %% TeX style fraction
\newcommand{\over}{<span class="sym">/</span>} %% TeX style fraction
\newcommand{\dots}{\lcRawHtml{ &#x0085; }}
\newcommand{\ldots}{\lcRawHtml{ &#x0085; }}
\newcommand{\cdot}{\lcRawHtml{ &sdot; }}
\newcommand{\cdots}{\lcRawHtml{ &#8943; }}
\newcommand{\vdots}{\lcRawHtml{ &#8942; }}
\newcommand{\ddots}{\lcRawHtml{ &#8945; }}
\newcommand{\dots}{\lcRawHtml{ <span class="sym">&#x0085;</span> }}
\newcommand{\ldots}{\lcRawHtml{ <span class="sym">&#x0085;</span> }}
\newcommand{\cdot}{\lcRawHtml{ <span class="sym">&sdot;</span> }}
\newcommand{\cdots}{\lcRawHtml{ <span class="sym">&#8943;</span> }}
\newcommand{\vdots}{\lcRawHtml{ <span class="sym">&#8942;</span> }}
\newcommand{\ddots}{\lcRawHtml{ <span class="sym">&#8945;</span> }}
\newcommand{\left}{}
\newcommand{\right}{}

2
Manual_tools/src/latex_converter_config/html/modern.css
View File

@ -114,7 +114,7 @@ span.cal { font-family: "lucida calligraphy"; }
span.sym { font-style: normal; }
span.big_sym {
font-style: normal;
font-size: 240%;
font-size: 150%;
}
sub { font-size: 80%; }