From d96c0bdb380606e25f620f6ea61608b9e32c26ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 27 Jun 2022 16:15:41 +0200
Subject: [PATCH] refproof: fix optional argument of oldproof environment

---
 src/environments/refproof/refproof.pysty3 | 46 ++++++++++-------------
 src/math/mathsymb/mathsymb.pysty          |  4 +-
 2 files changed, 21 insertions(+), 29 deletions(-)

diff --git a/src/environments/refproof/refproof.pysty3 b/src/environments/refproof/refproof.pysty3
index aacc999..4259ba6 100644
--- a/src/environments/refproof/refproof.pysty3
+++ b/src/environments/refproof/refproof.pysty3
@@ -46,33 +46,27 @@ __HEADER__(Automatic references to theorems in proofs. Claim counters within pro
 
 %%%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 }
-    {
-      __PACKAGE_MACRO__(saved_proof:w) { #1 }
-    }
-    {
-      __PACKAGE_MACRO__(saved_proof:w)
-    }
-}
-{
-    __PACKAGE_MACRO__(saved_endproof:)
-}
+\NewDocumentEnvironment{oldproof} { }
+  {
+        __PACKAGE_MACRO__(saved_proof:w)
+  }
+  {
+      __PACKAGE_MACRO__(saved_endproof:)
+  }
 
-\NewDocumentEnvironment{oldsubproof}{ o }
-{
-  \IfValueTF { #1 }
-    {
-      __PACKAGE_MACRO__(saved_subproof:n) { #1 }
-    }
-    {
-      __PACKAGE_MACRO__(saved_subproof:n) { \translate { Subproof } }
-    }
-}
-{
-  __PACKAGE_MACRO__(saved_endsubproof:)
-}
+\NewDocumentEnvironment{oldsubproof} { o }
+  {
+    \IfValueTF { #1 }
+      {
+        __PACKAGE_MACRO__(saved_subproof:n) { #1 }
+      }
+      {
+        __PACKAGE_MACRO__(saved_subproof:n) { \translate { Subproof } }
+      }
+  }
+  {
+    __PACKAGE_MACRO__(saved_endsubproof:)
+  }
 
 %%% Main implementation
 
diff --git a/src/math/mathsymb/mathsymb.pysty b/src/math/mathsymb/mathsymb.pysty
index 459e7ea..cbe6502 100644
--- a/src/math/mathsymb/mathsymb.pysty
+++ b/src/math/mathsymb/mathsymb.pysty
@@ -42,6 +42,4 @@ __HEADER__(Some extra math-related symbols.)
 % 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{--}}