5 Jul
2023
5 Jul
'23
3:40 p.m.
Hi, I've been porting Paul Taylor's prooftree.sty (https://www.paultaylor.eu/proofs/) to ConTeXt, which seemed quite easy. There's just one adjustment to make: 291c292 < \else \dimen6=\fontdimen22\the\textfont2 % height of maths axis ---
\else \dimen6=\the\dimexpr\triggeredmathstyleparameter\Umathaxis % height of maths axis
It seems that ConTeXt stores the math font in \textfont0 instead
of \textfont2 as LaTeX does.
Now my question is: is \textfont2 used at all? (I grepped occurences
of \textfont0 and \textfont1) Then I could just copy the \textfont0 to
\textfont2 before loading the macro and would not require any patches.
--
Leah Neukirchen