bguq

An improved quantifier stroke for Begriffsschrift.

stroke placement
Universal quantification of the variable $\mathfrak{d}$