🚀 go-pugleaf

Several months ago, I noticed a little problem that appeared
when using SliTeX. I first thought this is particuliar to our site,
but after some investigations, I am no longer so sure.

The problem is as follows. 

It appears when using $\Longrightarrow$ in SliTeX. As explained in the
TeXbook, $\Longrightarrow$ is formed by `=' and \Rightarrow. With SliTeX,
unfortunately, the equal sign is not exactly aligned with the Rightarrow,
both on the dvi and on the ps files. And this looks awful. It does not happen
with LaTeX nor TeX.

Seeking a solution, I found that the fonts we use here are inconsistant:

\Longrightarrow is defined by \def\Longrightarrow{\Relbar\joinrel\Rightarrow}
          where \def\Relbar{\mathrel=}, \mathchardef\Rightarrow="3229,
                and \joinrel is a kern.

That means that \Longrightarrow tries to join `='  from \textfont0 and
                                              `=>' from \textfont2.

\textfont0 is \fourteenrm when running SliTeX under style slides.sty
and \textfont2 is \fourteensy.

These two are respectively lcmss8 scaled \magstep 3
                      and  cmsy8  scaled \magstep 3.


I first wanted to change lcmss8.mf to make the signs fit. Indeed, when 
lowering the math_axis, one gets better results, but it still remains
unsatisfying. (just a note: our version of lcmss8.mf is the good version,
I just checked in on several ftp sites). On the other hand, I cannot change
cmsy8.mf, for it is the symbol font of TeX. 

My conclusion is so that THERE SHOULD BE A SLITEX VERSION OF CMSY8, that is,
a version where the lines are thicker. I searched for lcmsy*, but there
was nothing on the ftp sites. And neither scmsy*. Has some kind soul already
run into the same problem and provided a solution, or shall I build lcmsy8.mf
myself ?

 
 
Any help appreciated.

Denis   (roegel@loria.fr)


PS. There may be other similar inconsitancies, but I am sure other TeXnicians
will link them, if so.