[CS] Add command for classes in TI
This commit is contained in:
@@ -26,3 +26,4 @@
|
|||||||
\newcommand{\tC}{\text{C}}
|
\newcommand{\tC}{\text{C}}
|
||||||
\newcommand{\tN}{\text{N}}
|
\newcommand{\tN}{\text{N}}
|
||||||
\newcommand{\bigvdash}[2]{\sststile{#1}{#2}}
|
\newcommand{\bigvdash}[2]{\sststile{#1}{#2}}
|
||||||
|
\newcommand{\class}{\text{\tr{Cl}{Kl}}}
|
||||||
|
Reference in New Issue
Block a user