\Longrightarrow and fontsize




Hi all,

I recently noticed that LaTeX seems to mess up the output of \Longrightarrow
when I use any fontsize not equal to 10pt. The input document to reproduce
looks like this:

\documentclass[10pt]{article}
\begin{document}
$a \Longrightarrow b$
\end{document}

If I run latex (or pdflatex for that matter) on this document then the output
seems correct. When I change the fontsize to 12pt and try again the symbol for
\Longrightarrow is messed up. It looks like two = signs are glued together.
Screenshots (and this problem description) are on

http://osiris.cs.kun.nl/~basvg/latex/

Can anyone help me out? I'm presently running Ubuntu with tetex version
2.02c-8

Cheers,

Bas

--
Bas van Gils - basvg{at}cs{dot}ru{dot}nl

.



Relevant Pages

  • Re: newbye with teX as well : line spacing
    ... editing her memoir in lateX, which is so fine to me and also to her. ... But she claims about the "1.5 line spacing" requirement: ... Since this command doesn't _go active_ ... You can choose <fontsize> to correspond to the fontsize you are ...
    (comp.text.tex)
  • change fontsize in quote-environment
    ... I'm looking for a way to change the fontsize of all ... \begin...\endenvironments in LaTeX to 11pt ... and maintain the margins as they ...
    (comp.text.tex)
  • Re: change fontsize in quote-environment
    ... > I'm looking for a way to change the fontsize of all ... > \begin...\endenvironments in LaTeX to 11pt ...
    (comp.text.tex)
  • Re: Scale a Table
    ... Is it possible to scale a table in Latex? ... I mean, riduce its ... But using a smaller fontsize would look better. ...
    (comp.text.tex)