\mathbf{E}

現在の状態から始まる経路が存在して~

経路を考慮した\exist的な

\mathbf{A}

現在の状態から始まる任意の経路に対して~

経路を考慮した\forall的な[m