extensibleArrowTextGap constant

double const extensibleArrowTextGap

Gap between arrow and scripts / fontSize (KaTeX xArrow: 2mu = 0.111em)

Implementation

static const double extensibleArrowTextGap = 0.111;