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

Use HTML codes instead of gif files for some math symbols (some remains). 

See : http://htmlhelp.com/reference/html40/entities/symbols.html
Tested with firefox, safari and opera.
This commit is contained in:
Sylvain Pion 2008-12-28 13:17:12 +00:00
parent 0d54154d06
commit 035929236a
1 changed files with 21 additions and 41 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -495,10 +495,8 @@
{<IMG BORDER=0 WIDTH=10 HEIGHT=27 ALIGN=MIDDLE SRC="cc_beta.gif">}}
\newcommand{\gamma}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=9 HEIGHT=17 ALIGN=MIDDLE SRC="cc_lowercase_gamma.gif">}}
\newcommand{\delta}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=6 HEIGHT=13 ALIGN=BOTTOM SRC="cc_lowercase_delta.gif">}}
\newcommand{\epsilon}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=5 HEIGHT=8 ALIGN=BOTTOM SRC="cc_epsilon.gif">}}
\newcommand{\delta}{\lcRawHtml { &delta; }}
\newcommand{\epsilon}{\lcRawHtml { &epsilon; }}
\newcommand{\varepsilon}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=5 HEIGHT=8 ALIGN=BOTTOM SRC="cc_varepsilon.gif">}}
\newcommand{\zeta}{\lcRawHtml%
@ -513,8 +511,7 @@
{<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%
{<IMG BORDER=0 WIDTH=7 HEIGHT=13 ALIGN=BOTTOM SRC="cc_lowercase_lambda.gif">}}
\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">}}
@ -522,16 +519,14 @@
{<IMG BORDER=0 WIDTH=7 HEIGHT=8 ALIGN=BOTTOM SRC="cc_nu.gif">}}
\newcommand{\xi}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=7 HEIGHT=27 ALIGN=MIDDLE SRC="cc_lowercase_xi.gif">}}
\newcommand{\pi}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=9 HEIGHT=8 ALIGN=BOTTOM SRC="cc_lowercase_pi.gif">}}
\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%
{<IMG BORDER=0 WIDTH=8 HEIGHT=8 ALIGN=BOTTOM SRC="cc_lowercase_sigma.gif">}}
\newcommand{\sigma}{\lcRawHtml { &sigma; }}
\newcommand{\varsigma}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=5 HEIGHT=17 ALIGN=MIDDLE SRC="cc_varsigma.gif">}}
\newcommand{\tau}{\lcRawHtml%
@ -559,10 +554,8 @@
{<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%
{<IMG BORDER=0 WIDTH=12 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Pi.gif" ALT="product">}}
\newcommand{\Sigma}{\lcRawHtml%
{<IMG BORDER=0 WIDTH=10 HEIGHT=12 ALIGN=BOTTOM SRC="cc_uppercase_Sigma.gif">}}
\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%
@ -784,8 +777,7 @@
\newcommand{\le}{\leq}
\newcommand{\ge}{\geq}
\newcommand{\leq}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_leq.gif"> }}
\newcommand{\leq}{\lcRawHtml { &le; }}
\newcommand{\prec}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_prec.gif"> }}
\newcommand{\preceq}{\lcRawHtml%
@ -800,12 +792,10 @@
{ <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%
{ <IMG BORDER=0 WIDTH=9 HEIGHT=21 ALIGN=MIDDLE SRC="cc_in.gif" ALT="in"> }}
\newcommand{\in}{\lcRawHtml{ &isin; }}
\newcommand{\vdash}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_vdash.gif"> }}
\newcommand{\geq}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=25 ALIGN=MIDDLE SRC="cc_geq.gif" ALT="greater or equal"> }}
\newcommand{\geq}{\lcRawHtml { &ge; }}
\newcommand{\succ}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=21 ALIGN=MIDDLE SRC="cc_succ.gif"> }}
\newcommand{\succeq}{\lcRawHtml%
@ -836,10 +826,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%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=27 ALIGN=MIDDLE SRC="cc_neq.gif"> }}
\newcommand{\ne}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=27 ALIGN=MIDDLE SRC="cc_neq.gif"> }}
\newcommand{\neq}{\lcRawHtml { &ne; }}
\newcommand{\ne}{\lcRawHtml { &ne; }}
\newcommand{\doteq}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=11 HEIGHT=9 ALIGN=BOTTOM SRC="cc_doteq.gif"> }}
\newcommand{\notin}{\lcRawHtml%
@ -850,8 +838,7 @@
{ <IMG BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_perp.gif"> }}
\newcommand{\mid}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=2 HEIGHT=29 ALIGN=MIDDLE SRC="cc_mid.gif"> }}
\newcommand{\parallel}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=6 HEIGHT=29 ALIGN=MIDDLE SRC="cc_parallel.gif" ALT="parallel"> }}
\newcommand{\parallel}{\lcRawHtml { || }}
\newcommand{\bowtie}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=12 HEIGHT=7 ALIGN=BOTTOM SRC="cc_bowtie.gif"> }}
\newcommand{\Join}{\lcRawHtml%
@ -868,12 +855,10 @@
% +--------------------------------------------------------------------------
\newcommand{\leftarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftarrow.gif"> }}
\newcommand{\Leftarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=14 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Leftarrow.gif"> }}
\newcommand{\Leftarrow}{\lcRawHtml { &lArr; }}
\newcommand{\rightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_rightarrow.gif"> }}
\newcommand{\Rightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=14 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Rightarrow.gif"> }}
\newcommand{\Rightarrow}{\lcRawHtml { &rArr; }}
\newcommand{\leftrightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_leftrightarrow.gif"> }}
\newcommand{\Leftrightarrow}{\lcRawHtml%
@ -888,12 +873,10 @@
{ <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%
{ <IMG BORDER=0 WIDTH=26 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_longleftarrow.gif"> }}
\newcommand{\longleftarrow}{\lcRawHtml { &larr; }}
\newcommand{\Longleftarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=25 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Longleftarrow.gif"> }}
\newcommand{\longrightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=26 HEIGHT=9 ALIGN=BOTTOM SRC="cc_lowercase_longrightarrow.gif"> }}
\newcommand{\longrightarrow}{\lcRawHtml { &rarr; }}
\newcommand{\Longrightarrow}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=25 HEIGHT=11 ALIGN=BOTTOM SRC="cc_uppercase_Longrightarrow.gif"> }}
\newcommand{\longleftrightarrow}{\lcRawHtml%
@ -970,10 +953,8 @@
{ <IMG BORDER=0 WIDTH=11 HEIGHT=11 ALIGN=BOTTOM SRC="cc_bot.gif"> }}
\newcommand{\angle}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=7 HEIGHT=11 ALIGN=BOTTOM SRC="cc_angle.gif"> }}
\newcommand{\forall}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=9 HEIGHT=13 ALIGN=BOTTOM SRC="cc_forall.gif" ALT="for all"> }}
\newcommand{\exists}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=7 HEIGHT=13 ALIGN=BOTTOM SRC="cc_exists.gif"> }}
\newcommand{\forall}{\lcRawHtml { &forall; }}
\newcommand{\exists}{\lcRawHtml { &exist; }}
\newcommand{\flat}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=4 HEIGHT=14 ALIGN=BOTTOM SRC="cc_flat.gif"> }}
\newcommand{\natural}{\lcRawHtml%
@ -982,8 +963,7 @@
{ <IMG BORDER=0 WIDTH=4 HEIGHT=27 ALIGN=MIDDLE SRC="cc_sharp.gif"> }}
\newcommand{\partial}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=8 HEIGHT=13 ALIGN=BOTTOM SRC="cc_partial.gif"> }}
\newcommand{\infty}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=15 HEIGHT=8 ALIGN=BOTTOM SRC="cc_infty.gif"> }}
\newcommand{\infty}{\lcRawHtml { &infin; }}
\newcommand{\Box}{\lcRawHtml%
{ <IMG BORDER=0 WIDTH=10 HEIGHT=10 ALIGN=BOTTOM SRC="cc_Box.gif"> }}
\newcommand{\Diamond}{\lcRawHtml%
@ -1019,7 +999,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%
{ <IMG BORDER=0 WIDTH=14 HEIGHT=29 ALIGN=MIDDLE SRC="cc_big_bigcap.gif"> }}%
{ &cap; }}%
{\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"> }}%