Rightarrow対 implies、および 'は'記号を意味しません
Rightarrow Vs Implies
解決：
最初の質問に答えるには、は、ではなく含意します右矢印。 Rightarrowは小さすぎて読みやすい結果が得られず、適切な間隔が設定されていません。特別に定義されたクヌース同等性に使用される iffおよび impliesは同じですが、含意のためです（amsmathから）。含意は関係ではないため、使用方法に応じて間隔を空ける必要があります。関係よりも重要であるため、2倍の太いスペース（エンスペースについて）を使用します（数学の間隔の基本的なルールは、重要なものが多いほど、その周りにスペースが必要です）。次の数式の読みやすさを比較します。
最初の行は右矢印であり、数式の主要部分（含意）がほとんど見えないため、完全に判読できません。 2行目は Longrightarrowの方が優れていますが、矢印を周囲のシンボルと区別するものは何もありません（2つの不等式の関係は矢印と同じように配置されています）。最後に、3行目（ implies）、追加のスペースは矢印を他の矢印と明確に区別するため、数式の読みやすさが向上します。
2番目の質問に関しては、使用する長さに関係なく、ほぼすべてのシンボルを無効にする最も簡単な方法です。centernotパッケージの centernot：
documentclass {article} usepackage {amsmath} usepackage {centernot} begin {document} $ A centernot implies B $ end {document}もちろん、ラッピング centernot は、内部を意味します notimpliesマクロはWernerが行ったように良い考えです。
最初の部分はより主観的であるように思われるので、私はあなたの質問の2番目の部分に答えます。
あなたが使用することができます
usepackage {amsmath}％http：//ctan.org/pkg/amsmath newcommand { notimplies} {％ mathrel {{ ooalign { hidewidth $ not phantom {=} $ hidewidth cr $ implies $}}}}'を表すことは'を意味しません。これは提供します notimpliesはリレーショナルシンボルを次のように設定しますオーバーレイされていません implies（技術的には、その逆）：
documentclass {article} usepackage {amsmath}％http：//ctan.org/pkg/amsmath newcommand { notimplies} {％ mathrel {{ ooalign { hidewidth $ not phantom {=} $ hidewidth cr $ implies $}}}} newcommand { X} { mathcal {X}} newcommand { Y} { mathcal {Y}} begin {document} [ X Rightarrow Y quad X not Rightarrow Y qquad X implies Y quad X notimplies Y ] end {document}もちろん、この時点から、必要に応じて間隔を変更することもできます。
の簡単なレッスンについて ooalign、参照 subseteq +単一のシンボルとしての circ（オープンサブセット）。
数学の他の部分の規則は異なる場合がありますが、論理テキストでは、含意が長い矢印で書かれることは事実上ありません。含意は最も一般的にによって示されます rightarrow（= to）または supset、時々右矢印。長い矢印（ longrightarrowと Longrightarrow）は、後続の矢印に使用されます。
