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}}