fractionRuleThickness constant

double const fractionRuleThickness

Fraction rule thickness / fontSize (ξ₈, default rule thickness)

Implementation

static const double fractionRuleThickness = 0.04;