Re: 長い\Rightarrowの実現

名前: トノ
日時: 2003-12-06 17:00:57
IPアドレス: 219.97.2.*

>>24150

私のところでも、txfonts.sty のバージョンは
    Package: txfonts 2000/12/15 v3.1
となっていますが、以下のソースのように、txfonts のままの \Longrightarrow と、
#24146 の修正の入ったものとを並べたものをタイプセットし、
dviout で表示（1200dpi）してみましたが、両者間に違いは見られず、どちらも
綺麗に出力されているように思いました。

\documentclass{jarticle}\relax
\usepackage{txfonts}\relax
\begin{document}
$\Longrightarrow$

\def\RelBar#1{%
   \hbox{%
      \dimen0=\fontdimen6#13\relax
      \kern.055\dimen0
      \vrule height.382\dimen0 depth-.332\dimen0 width.55\dimen0
      \kern-.55\dimen0
      \vrule height.177\dimen0 depth-.127\dimen0 width.55\dimen0
      \kern.055\dimen0}}

$\Longrightarrow$
\end{document}

この書き込みへの返事：