>

existential operator

📖 中文释义

  1. =existential quantifier