demo fixup

hferee · Feb 9, 2024 · b9a5a74 · b9a5a74
1 parent e6b376e
commit b9a5a74
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/demo.html b/docs/demo.html
@@ -106,8 +106,8 @@
         </tr>
         <tr>
           <td></td>
-          <td class="ms">q, r, … (in [a-z][a-z A-Z 0-9]*) </td>
-          <td>other propositional variables</td>
+          <td class="ms">q, r, … </td>
+          <td>other propositional variables (in [a-z][a-z A-Z 0-9]*)</td>
         </tr>
       </table>
       <p>The quantifiers are always with respect to the variable p.</p>