From af6063c5fec769b30a37b1b4ec7a990ed34233ab Mon Sep 17 00:00:00 2001
From: Janis Hutz <development@janishutz.com>
Date: Fri, 3 Oct 2025 19:39:46 +0200
Subject: [PATCH] [CS] Add new macro for big vdash

---
 main/cs.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/main/cs.tex b/main/cs.tex
index 69659e7..4cf4963 100644
--- a/main/cs.tex
+++ b/main/cs.tex
@@ -9,6 +9,7 @@
 \usepackage{algpseudocodex}
 \usepackage{setspace}
 \usepackage{verbatim}
+\usepackage{turnstile}
 
 \newcommand{\Indent}{\hspace{\algorithmicindent}}
 
@@ -24,3 +25,4 @@
 \newcommand{\tR}{\text{R}}
 \newcommand{\tC}{\text{C}}
 \newcommand{\tN}{\text{N}}
+\newcommand{\bigvdash}[2]{\sststile{#1}{#2}}