at.logic.gapt.proofs.epsilon
The name of this logical constant, e.g.
The name of this logical constant, e.g. "∀"