pub fn quantifier_symbol(kind: &QuantifierKind) -> StringExpand description
A quantifier’s symbol, with its count for the numeric ones (∃=2, ∃≥3).
pub fn quantifier_symbol(kind: &QuantifierKind) -> StringA quantifier’s symbol, with its count for the numeric ones (∃=2, ∃≥3).