含意記号
Implication Symbol
解決：
「包括的なLaTeXシンボルリスト」を見る（texdocシンボルはあなたにそれを与えるか、グーグルに行きます）、私は少なくとも2つの可能性を見ます：stmaryrdパッケージは提供します shortarrow、およびMnSymbolパッケージは再定義します rightarrowを短くします。特に2つ目は、 あなたの 新しい数学記号の、間違いなく既存のすべてを上書きするので、注意する必要があるかもしれません。
あなたが探しているのは示す。これは標準の幅よりも長いですに、しかしあなたは使用することができます scalebox from theこれを同じ幅にサイズ変更するgraphicxパッケージ：
または、スケーリングすることもできます toはの幅になります土地：
ノート：
- 作るために
ScaledImpliesのサイズと間隔は、to、私はスケーリングしましたLongrightarrow（これははからの記号を意味しますamsmathパッケージは、いくつかの追加の間隔を使用して基づいています）。
さらなる機能強化：
- 私は使用しました
数学計算用のpgfパッケージ。このパッケージなしで同じ計算を行う方法がある可能性が高いため、このコードを最適化して、pgfパッケージ。
コード：
documentclass {article} usepackage {amsmath} usepackage {graphicx} usepackage {pgf} makeatletter newdimen @ widthOfTo％ newdimen @ widthOfLand％ newdimen @ widthOfImplies％ settowidth { @ widthOfTo} {$ to $}％ settowidth { @ widthOfLand} {$ land $}％ settowidth { @ widthOfImplies} {$ Longrightarrow $}％ pgfmathsetmacro { @ scaleFactorImplies} { @ widthOfTo / @ widthOfImplies}％ pgfmathsetmacro { @ scaleFactorTo} { @ widthOfLand / @ widthOfTo}％ newcommand * { ScaledImplies} { mathrel { raisebox {0.3ex} { scalebox { @ scaleFactorImplies} { suremath { Longrightarrow}}} }}％ newcommand * { ScaledTo} { mathbin { raisebox {0.3ex} { scalebox { @ scaleFactorTo} { suremath { to}}}}}％ makeatother begin {document} $ a to b $ par $ a ScaledImplies b $ par $ a implies b $ par bigskip $ a land b $ par $ a ScaledTo b $ par $ a to b $ par end {資料}
この目的のために回転できるcm拡張フォントには「短い」二重上矢印があります。
documentclass {article} usepackage {graphicx} newcommand { implyarrow} {％ mathrel { raisebox {1.3ex} { rotatebox [origin = c] {90} { mathhexbox37F}}}} begin {document} $ a implyarrow b Rightarrow c $ \ $ a land b $ end {document}降伏
