[CS] Add new macro for big vdash
This commit is contained in:
@@ -9,6 +9,7 @@
|
|||||||
\usepackage{algpseudocodex}
|
\usepackage{algpseudocodex}
|
||||||
\usepackage{setspace}
|
\usepackage{setspace}
|
||||||
\usepackage{verbatim}
|
\usepackage{verbatim}
|
||||||
|
\usepackage{turnstile}
|
||||||
|
|
||||||
\newcommand{\Indent}{\hspace{\algorithmicindent}}
|
\newcommand{\Indent}{\hspace{\algorithmicindent}}
|
||||||
|
|
||||||
@@ -24,3 +25,4 @@
|
|||||||
\newcommand{\tR}{\text{R}}
|
\newcommand{\tR}{\text{R}}
|
||||||
\newcommand{\tC}{\text{C}}
|
\newcommand{\tC}{\text{C}}
|
||||||
\newcommand{\tN}{\text{N}}
|
\newcommand{\tN}{\text{N}}
|
||||||
|
\newcommand{\bigvdash}[2]{\sststile{#1}{#2}}
|
||||||
|
Reference in New Issue
Block a user