@@ -2036,7 +2036,7 @@ describe('BussproofsRegProofs', () => {
20362036 `<math xmlns="http://www.w3.org/1998/Math/MathML" data-latex="\\begin{prooftree}\\AXC{}\\RL{$Hyp^{1}$}\\UIC{$P$}\\AXC{$P\\rightarrow Q$}\\RL{$\\rightarrow_E$}\\solidLine\\BIC{$Q^2$}\\AXC{$Q\\rightarrow R$} \\RL{$\\rightarrow_E$} \\BIC{$R$} \\AXC{$Q$}\\RL{Rit$^2$} \\UIC{$Q$}\\RL{$\\wedge_I$}\\BIC{$Q\\wedge R$}\\RL{\${\\rightarrow_I}^1$}\\UIC{$P\\rightarrow Q\\wedge R$}\\end{prooftree}" display="block">
20372037 <mrow semantics="bspr_inference:1;bspr_proof:true;bspr_labelledRule:right">
20382038 <mrow>
2039- <mspace width="13.248em "></mspace>
2039+ <mspace width="13.25em "></mspace>
20402040 <mrow data-latex="\\begin{prooftree}\\AXC{}\\RL{$Hyp^{1}$}\\UIC{$P$}\\AXC{$P\\rightarrow Q$}\\RL{$\\rightarrow_E$}\\solidLine\\BIC{$Q^2$}\\AXC{$Q\\rightarrow R$} \\RL{$\\rightarrow_E$} \\BIC{$R$} \\AXC{$Q$}\\RL{Rit$^2$} \\UIC{$Q$}\\RL{$\\wedge_I$}\\BIC{$Q\\wedge R$}\\RL{\${\\rightarrow_I}^1$}\\UIC{$P\\rightarrow Q\\wedge R$}\\end{prooftree}" data-latex-item="{prooftree}">
20412041 <mspace width="-1.155em"></mspace>
20422042 <mtable align="top 2" rowlines="solid" framespacing="0 0" semantics="bspr_inferenceRule:down">
@@ -2047,9 +2047,9 @@ describe('BussproofsRegProofs', () => {
20472047 <mtd rowalign="bottom">
20482048 <mrow semantics="bspr_inference:2;bspr_labelledRule:right">
20492049 <mrow>
2050- <mspace width="-13.248em "></mspace>
2050+ <mspace width="-13.25em "></mspace>
20512051 <mrow>
2052- <mspace width="9.11em "></mspace>
2052+ <mspace width="9.111em "></mspace>
20532053 <mrow data-latex="\\RL{\${\\rightarrow_I}^1$}">
20542054 <mtable align="top 2" rowlines="solid" framespacing="0 0" semantics="bspr_inferenceRule:down">
20552055 <mtr>
@@ -2058,7 +2058,7 @@ describe('BussproofsRegProofs', () => {
20582058 <mtr>
20592059 <mtd rowalign="bottom">
20602060 <mrow semantics="bspr_inference:2;bspr_labelledRule:right">
2061- <mspace width="-9.11em "></mspace>
2061+ <mspace width="-9.111em "></mspace>
20622062 <mrow>
20632063 <mspace width="3.592em"></mspace>
20642064 <mrow data-latex="\\BIC{$R$}">
@@ -2276,7 +2276,7 @@ describe('BussproofsRegProofs', () => {
22762276 </mrow>
22772277 </mrow>
22782278 </mrow>
2279- <mspace width="-5.455em "></mspace>
2279+ <mspace width="-5.456em "></mspace>
22802280 </mrow>
22812281 </mtd>
22822282 </mtr>
@@ -2316,7 +2316,7 @@ describe('BussproofsRegProofs', () => {
23162316 </mpadded>
23172317 </mrow>
23182318 </mrow>
2319- <mspace width="2.952em "></mspace>
2319+ <mspace width="2.953em "></mspace>
23202320 </mrow>
23212321 </math>`
23222322 ) ) ;
@@ -2328,7 +2328,7 @@ describe('BussproofsRegProofs', () => {
23282328 `<math xmlns="http://www.w3.org/1998/Math/MathML" data-latex="\\begin{prooftree}\\alwaysRootAtTop\\AXC{}\\RL{$Hyp^{1}$}\\UIC{$P$}\\AXC{$P\\rightarrow Q$}\\RL{$\\rightarrow_E$}\\solidLine\\BIC{$Q^2$}\\alwaysRootAtBottom\\AXC{$Q\\rightarrow R$} \\RL{$\\rightarrow_E$} \\BIC{$R$} \\AXC{$Q$}\\RL{Rit$^2$} \\UIC{$Q$}\\RL{$\\wedge_I$}\\BIC{$Q\\wedge R$}\\RL{\${\\rightarrow_I}^1$}\\UIC{$P\\rightarrow Q\\wedge R$}\\end{prooftree}" display="block">
23292329 <mrow semantics="bspr_inference:1;bspr_proof:true;bspr_labelledRule:right">
23302330 <mrow>
2331- <mspace width="13.248em "></mspace>
2331+ <mspace width="13.25em "></mspace>
23322332 <mrow data-latex="\\begin{prooftree}\\alwaysRootAtTop\\AXC{}\\RL{$Hyp^{1}$}\\UIC{$P$}\\AXC{$P\\rightarrow Q$}\\RL{$\\rightarrow_E$}\\solidLine\\BIC{$Q^2$}\\alwaysRootAtBottom\\AXC{$Q\\rightarrow R$} \\RL{$\\rightarrow_E$} \\BIC{$R$} \\AXC{$Q$}\\RL{Rit$^2$} \\UIC{$Q$}\\RL{$\\wedge_I$}\\BIC{$Q\\wedge R$}\\RL{\${\\rightarrow_I}^1$}\\UIC{$P\\rightarrow Q\\wedge R$}\\end{prooftree}" data-latex-item="{prooftree}">
23332333 <mspace width="-1.155em"></mspace>
23342334 <mtable align="top 2" rowlines="solid" framespacing="0 0" semantics="bspr_inferenceRule:down">
@@ -2339,9 +2339,9 @@ describe('BussproofsRegProofs', () => {
23392339 <mtd rowalign="bottom">
23402340 <mrow semantics="bspr_inference:2;bspr_labelledRule:right">
23412341 <mrow>
2342- <mspace width="-13.248em "></mspace>
2342+ <mspace width="-13.25em "></mspace>
23432343 <mrow>
2344- <mspace width="9.11em "></mspace>
2344+ <mspace width="9.111em "></mspace>
23452345 <mrow data-latex="\\RL{\${\\rightarrow_I}^1$}">
23462346 <mtable align="top 2" rowlines="solid" framespacing="0 0" semantics="bspr_inferenceRule:down">
23472347 <mtr>
@@ -2350,7 +2350,7 @@ describe('BussproofsRegProofs', () => {
23502350 <mtr>
23512351 <mtd rowalign="bottom">
23522352 <mrow semantics="bspr_inference:2;bspr_labelledRule:right">
2353- <mspace width="-9.11em "></mspace>
2353+ <mspace width="-9.111em "></mspace>
23542354 <mrow>
23552355 <mspace width="3.592em"></mspace>
23562356 <mrow data-latex="\\BIC{$R$}">
@@ -2568,7 +2568,7 @@ describe('BussproofsRegProofs', () => {
25682568 </mrow>
25692569 </mrow>
25702570 </mrow>
2571- <mspace width="-5.455em "></mspace>
2571+ <mspace width="-5.456em "></mspace>
25722572 </mrow>
25732573 </mtd>
25742574 </mtr>
@@ -2608,7 +2608,7 @@ describe('BussproofsRegProofs', () => {
26082608 </mpadded>
26092609 </mrow>
26102610 </mrow>
2611- <mspace width="2.952em "></mspace>
2611+ <mspace width="2.953em "></mspace>
26122612 </mrow>
26132613 </math>`
26142614 ) ) ;
0 commit comments