diff --git a/build_info.json b/build_info.json
index 10ddd9e..4eea291 100644
--- a/build_info.json
+++ b/build_info.json
@@ -1,8 +1,8 @@
 {
     "build_time": "",
     "source files": {
-        "version": "v2.9-15-gb7ba678",
-        "commit": "b7ba678943aae7a865556f4295a4509fb3f9bd7f",
+        "version": "v2.9-16-gd96c0bd",
+        "commit": "d96c0bdb380606e25f620f6ea61608b9e32c26ef",
         "dirty": false
     },
     "pytex": {
@@ -58,12 +58,12 @@
         {
             "name": "math/mathsymb/mkessler-mathsymb.sty",
             "source file": "math/mathsymb/mathsymb.pysty",
-            "build time": "2022/01/30 23:48",
-            "source version": "v2.8.1-9-g4bda829",
-            "source commit hash": "4bda829518c07d985656547cf897712db361160e",
+            "build time": "2022/06/27 14:15",
+            "source version": "v2.9-16-gd96c0bd",
+            "source commit hash": "d96c0bdb380606e25f620f6ea61608b9e32c26ef",
             "pytex version": "v1.2.0-31-gc9bb0e8",
             "pytex commit hash": "c9bb0e87c91beae3e17a829603e4459cf804ec51",
-            "md5sum": "20823314c1facfa4126ffc0d7011c877",
+            "md5sum": "fdf3cb72c19929612dcc2270a0c427e7",
             "dirty": false
         },
         {
@@ -410,12 +410,12 @@
         {
             "name": "environments/refproof/mkessler-refproof.sty",
             "source file": "environments/refproof/refproof.pysty3",
-            "build time": "2022/01/30 23:48",
-            "source version": "v2.8.1-9-g4bda829",
-            "source commit hash": "4bda829518c07d985656547cf897712db361160e",
+            "build time": "2022/06/27 14:15",
+            "source version": "v2.9-16-gd96c0bd",
+            "source commit hash": "d96c0bdb380606e25f620f6ea61608b9e32c26ef",
             "pytex version": "v1.2.0-31-gc9bb0e8",
             "pytex commit hash": "c9bb0e87c91beae3e17a829603e4459cf804ec51",
-            "md5sum": "261990e33efd37cb92c861a0033a1eaa",
+            "md5sum": "2a0bd3d9b38cc2d1d4f8f6be70dca0dc",
             "dirty": false
         },
         {
diff --git a/environments/refproof/mkessler-refproof.sty b/environments/refproof/mkessler-refproof.sty
index 5befbce..0d4a62a 100644
--- a/environments/refproof/mkessler-refproof.sty
+++ b/environments/refproof/mkessler-refproof.sty
@@ -31,7 +31,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-31-gc9bb0e8 (commit c9bb0e8)
-%   Source code version: v2.8.1-9-g4bda829 (commit 4bda829)
+%   Source code version: v2.9-16-gd96c0bd (commit d96c0bd)
 % 
 % This LaTeX package is free software and is dual-licensed
 % under the LPPLv1.3c and the GPLv3 licenses.
@@ -46,7 +46,7 @@
 % at the Git repository for further information.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\ProvidesExplPackage{mkessler-refproof}{2022/01/30}{2.8.1-9-g4bda829}{Automatic references to theorems in proofs. Claim counters within proofs}
+\ProvidesExplPackage{mkessler-refproof}{2022/06/27}{2.9-16-gd96c0bd}{Automatic references to theorems in proofs. Claim counters within proofs}
 
 
 
@@ -96,33 +96,27 @@
 
 %%%Now, we internally got a proof and a subproof environment
 %%%Make them available as 'old' variants, with their defautl behaviour
-\NewDocumentEnvironment{oldproof}{ o }
-{
-  \IfValueTF { #1 }
-    {
-      \__mkessler_refproof_saved_proof:w { #1 }
-    }
-    {
-      \__mkessler_refproof_saved_proof:w
-    }
-}
-{
-    \__mkessler_refproof_saved_endproof:
-}
+\NewDocumentEnvironment{oldproof} { }
+  {
+        \__mkessler_refproof_saved_proof:w
+  }
+  {
+      \__mkessler_refproof_saved_endproof:
+  }
 
-\NewDocumentEnvironment{oldsubproof}{ o }
-{
-  \IfValueTF { #1 }
-    {
-      \__mkessler_refproof_saved_subproof:n { #1 }
-    }
-    {
-      \__mkessler_refproof_saved_subproof:n { \translate { Subproof } }
-    }
-}
-{
-  \__mkessler_refproof_saved_endsubproof:
-}
+\NewDocumentEnvironment{oldsubproof} { o }
+  {
+    \IfValueTF { #1 }
+      {
+        \__mkessler_refproof_saved_subproof:n { #1 }
+      }
+      {
+        \__mkessler_refproof_saved_subproof:n { \translate { Subproof } }
+      }
+  }
+  {
+    \__mkessler_refproof_saved_endsubproof:
+  }
 
 %%% Main implementation
 
diff --git a/math/mathsymb/mkessler-mathsymb.sty b/math/mathsymb/mkessler-mathsymb.sty
index 1a1c370..3bb83a2 100644
--- a/math/mathsymb/mkessler-mathsymb.sty
+++ b/math/mathsymb/mkessler-mathsymb.sty
@@ -31,7 +31,7 @@
 % 
 % Build details:
 %   PyTeX version: v1.2.0-31-gc9bb0e8 (commit c9bb0e8)
-%   Source code version: v2.8.1-9-g4bda829 (commit 4bda829)
+%   Source code version: v2.9-16-gd96c0bd (commit d96c0bd)
 % 
 % This LaTeX package is free software and is dual-licensed
 % under the LPPLv1.3c and the GPLv3 licenses.
@@ -47,7 +47,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathsymb}[2022/01/30 - Some extra math-related symbols.]
+\ProvidesPackage{mkessler-mathsymb}[2022/06/27 - Some extra math-related symbols.]
 
 
 % A collection of math-related symbols / tools I often use, mainly collected together from Stack Overflow or hacked together myself
@@ -93,6 +93,4 @@
 % When dealing with chain complexes, one often uses a bullet as placeholder for the index to mean the whole chain:
 \newcommand\chainbullet{\bullet}
 
-
-
-
+\newcommand{\blank}{\text{--}}