remove spaces in math

grammar.peggy

@@ -452,21 +452,12 @@ StringValue
 //---------------------- Value Kinds
 
 Text
-  = v:_ {
+  = v:$[^\^_${}\\]+ {
     return basicTextConversions({
       kind: 'Text',
       loc: location(),
       source: text(),
-      value: math.on ? '' : v,
-      mode: math.on ? 'math' : 'text',
-    })
-  }
-  / v:$[^\^_${}\\]+ {
-    return basicTextConversions({
-      kind: 'Text',
-      loc: location(),
-      source: text(),
-      value: v,
+      value: math.on ? v.replace(/[ \r\n\t]/g, '') : v,
       mode: math.on ? 'math' : 'text',
     })
   }

snap.sh

@@ -1,2 +1,2 @@
 #!/bin/bash
-TAP_SNAPSHOT=1 npm_config_test=541 npm_config_all=true npm test
+TAP_SNAPSHOT=0 npm_config_test=apa-test npm_config_all=true npm test

test/tap-snapshots/sentencecase=off^caseprotection=as-needed/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -28856,7 +28856,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=off^caseprotection=as-needed^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -28856,7 +28856,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=off^caseprotection=off/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -28856,7 +28856,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=off^caseprotection=off^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -28856,7 +28856,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=off^caseprotection=strict/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -28856,7 +28856,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p ≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=off^caseprotection=strict^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -28856,7 +28856,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p ≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on+guess^caseprotection=as-needed/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29322,7 +29322,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on+guess^caseprotection=as-needed^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29322,7 +29322,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on+guess^caseprotection=off/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29324,7 +29324,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on+guess^caseprotection=off^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29324,7 +29324,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on+guess^caseprotection=strict/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29322,7 +29322,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p ≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on+guess^caseprotection=strict^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29322,7 +29322,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p ≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence <span class=\\"nocase\\">◇p≡¬□¬p</span> doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some <span class=\\"nocase\\">p</span> in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on^caseprotection=as-needed/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29348,7 +29348,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on^caseprotection=as-needed^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29348,7 +29348,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on^caseprotection=off/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29352,7 +29352,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",

test/tap-snapshots/sentencecase=on^caseprotection=off^preservequoted/import/Some bibtex entries quietly discarded on import from bib file #873.bib.snap

@@ -29352,7 +29352,7 @@ Object {
       },
       "fields": Object {
         "annote": Array [
-          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p ≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
+          "The authors review Chapman's Modal Truth Criterion (MTC) from his paper “Planning for Conjunctive Goals.” They show a bug in Chapman's arguments — in particular that the equivalence ◇p≡¬□¬p doesn't hold for truth in partially-ordered plans. The reason for this is that the excluded middle does not hold in the logic of partial plans — the truth value of some p in some completion of a partial plan may not be defined, because the completion may be ill-formed.",
         ],
         "author": Array [
           "Subbarao Kambhampati",