Skip to content

Commit ac82f9e

Browse files
dpvcdpvc
committed
Update bussproof tests to accommodate changes in mathjax-newcm font
1 parent 7294aae commit ac82f9e

1 file changed

Lines changed: 12 additions & 12 deletions

File tree

‎testsuite/tests/input/tex/Bussproofs.test.ts‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)