論理演算を論理式で表現する場合に使う記号．