pub fn add_formulae(n: u32)Expand description
Add to the formulae count. For streaming pass 2, which parses math one
SEGMENT at a time and so never knows the document-wide count up front —
set_formulae there would record only the last segment’s tally.