Improved quantifier stroke for Begriffsschrift packages
