Special commands for various languages

mikhaylovilya · Jan 20, 2022 · 72bb059 · 72bb059
1 parent b3247c1
commit 72bb059
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/header.tex b/header.tex
@@ -134,6 +134,10 @@
 \renewcommand\lstlistingname{Листинг}
 \renewcommand\lstlistlistingname{Листинги}
 
+\newcommand{\vsharp}{\textsc{V$\sharp$}}
+\newcommand{\fsharp}{\textsc{F$\sharp$}}
+\newcommand{\csharp}{\textsc{C$\sharp$}}
+
 \usepackage{afterpage}
 \usepackage{pdflscape}
 

diff --git a/vkr.tex b/vkr.tex
@@ -38,7 +38,7 @@ \section{Обзор (обязателен к новому году)}
 \section{Background (опционально)}
 Здесь пишется некоторая дополнительная информация о том, зачем делается то, что делается.
 
-Например, в работе придумывается какой-то новый метод решения формул в SMT в теориях с числами. Без каких-то дополнительных пояснений будет казаться, что работа состоит из жестокого "матана" и совсем не по теме кафедры. Поэтому, в данном разделе стоит рассказать, что все эти методы примеряются для верификации в проекте V\# и поэтому непосредственно связаны с тематикой кафедры.
+Например, в работе придумывается какой-то новый метод решения формул в SMT в теориях с числами. Без каких-то дополнительных пояснений будет казаться, что работа состоит из жестокого "матана" и совсем не по теме кафедры. Поэтому, в данном разделе стоит рассказать, что все эти методы примеряются для верификации в проекте \vsharp{}, и поэтому непосредственно связаны с тематикой кафедры.
 
 
 \section{Метод}