⇒

記号の1つ。

→矢印を参照

pixivにおいてはただの矢印のバリエーションとして用いられていることが多いが、本来は集合論・論理学において包含を表す記号である。

すなわち、

A⇒B

と記載した場合、「AならばB」という関係を示す。

つまり、

命題 甲「博麗霊夢は博麗の巫女である」

が正しい場合、必ず

命題 乙「博麗霊夢は人間である」

が成立するのであれば、

甲⇒乙

と表現することができる。

(ちなみにこの論理式は2014年9月22日現在の東方project公式設定では博麗の巫女は必ず人間であるとされるため正しいと言えるが、二次創作や公式設定が変更された場合は偽となり得る。)