From a7e8a24d77e5930070eae9ce58bf9e84efbf987c Mon Sep 17 00:00:00 2001
From: ucrhh <ucrhh@student.kit.edu>
Date: Fri, 5 Mar 2021 12:51:56 +0100
Subject: [PATCH] make examples latex code compatible with normal LaTeX

---
 src/main/resources/language/general.properties | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/main/resources/language/general.properties b/src/main/resources/language/general.properties
index 001381c..10da464 100644
--- a/src/main/resources/language/general.properties
+++ b/src/main/resources/language/general.properties
@@ -33,7 +33,7 @@ root.appLatex=\
 \
 \\AxiomC{$\\Gamma \\vdash t_2 : \\tau_1$}\
 \
-\\LeftLabel{\\rm A{\\small PP}}\
+\\LeftLabel{\\textrm A{\\small PP}}\
 \\BinaryInfC{$\\Gamma \\vdash t_1 \\ t_2 : \\tau_2$}\
 \\end{prooftree}
 
@@ -41,7 +41,7 @@ root.absLatex=\
 \\begin{prooftree}\
 \\AxiomC{$\\Gamma , \\texttt{x}: \\tau_1 \\vdash t : \\tau_2$}\
 \
-\\LeftLabel{\\rm A{\\small BS}}\
+\\LeftLabel{\\textrm A{\\small BS}}\
 \\UnaryInfC{$\\Gamma \\vdash \\lambda \\texttt{x}.t : \\tau_1 \\rightarrow \\tau_2$}\
 \\end{prooftree}
 
@@ -49,7 +49,7 @@ root.varLatex=\
 \\begin{prooftree}\
 \\AxiomC{$\\Gamma (\\texttt{x}) = \\tau$}\
 \
-\\LeftLabel{\\rm V{\\small AR}}\
+\\LeftLabel{\\textrm V{\\small AR}}\
 \\UnaryInfC{$\\Gamma \\vdash \\texttt{x} : \\tau'$}\
 \\end{prooftree}
 
@@ -57,7 +57,7 @@ root.constLatex=\
 \\begin{prooftree}\
 \\AxiomC{$\\texttt{c} \\in Const$}\
 \
-\\LeftLabel{\\rm C{\\small ONST}}\
+\\LeftLabel{\\textrm C{\\small ONST}}\
 \\UnaryInfC{$\\Gamma \\vdash \\texttt{c} : \\tau_c$}\
 \\end{prooftree}
 
@@ -67,7 +67,7 @@ root.letLatex=\
 \
 \\AxiomC{$\\Gamma , \\texttt{x} : ta(\\tau_1 , \\Gamma ) \\vdash t_2 : \\tau_2$}\
 \
-\\LeftLabel{\\rm L{\\small ET}}\
+\\LeftLabel{\\textrm L{\\small ET}}\
 \\BinaryInfC{$\\Gamma \\vdash \\textbf{let} \\ \\texttt{x} = t_1 \\ \\textbf{in} \\ t_2 : \\tau_2$}\
 \\end{prooftree}
 
@@ -77,6 +77,6 @@ root.varLetLatex=\
 \
 \\AxiomC{$\\tau' \\succeq \\tau$}\
 \
-\\LeftLabel{\\rm V{\\small AR}}\
+\\LeftLabel{\\textrm V{\\small AR}}\
 \\BinaryInfC{$\\Gamma \\vdash \\texttt{x} : \\tau$}\
 \\end{prooftree}
\ No newline at end of file