#let cfg(it) = {
  show math.equation.where(block: false): math.display
  it
}

#let all(c) = $forall #c thick$
#let ex(c) = $exists #c thick$
#let exo(c) = $exists! #c thick$
#let nex(c) = $exists.not #c thick$
