Update blueprint

pitmonticone · Apr 4, 2024 · 085781a · 085781a
1 parent 1af8103
commit 085781a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/blueprint/src/macros.tex b/blueprint/src/macros.tex
@@ -136,7 +136,7 @@
 \newcommand{\sat}{\models} % Satisfies
 \newcommand{\ent}{\vdash} % Entails
 \newcommand{\nent}{\nvdash} % Does not entail
-\newcommand{\proves}{\vdash} % Proves
+%\newcommand{\proves}{\vdash} % Proves
 \newcommand{\nproves}{\nvdash} % Does not prove
 \newcommand{\true}{\top} % Tautology
 \newcommand{\false}{\bot} % Contradiction

diff --git a/blueprint/src/preamble/common.tex b/blueprint/src/preamble/common.tex
@@ -45,7 +45,7 @@
 \newcommand{\sat}{\models} % Satisfies
 \newcommand{\ent}{\vdash} % Entails
 \newcommand{\nent}{\nvdash} % Does not entail
-\newcommand{\proves}{\vdash} % Proves
+%\newcommand{\proves}{\vdash} % Proves
 \newcommand{\nproves}{\nvdash} % Does not prove
 \newcommand{\true}{\top} % Tautology
 \newcommand{\false}{\bot} % Contradiction