arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

add small caps to latex creator

Browse Source
This commit is contained in:
ucrhh 2021-02-01 16:14:18 +01:00
parent 15ede65458
commit 321ed10eb5
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreatorConstants.java
View File

@ -18,11 +18,11 @@ public final class LatexCreatorConstants {
protected static final String PAREN_LEFT = "(";
protected static final String PAREN_RIGHT = ")";
protected static final String LABEL_ABS = "\\LeftLabel{ABS}";
protected static final String LABEL_APP = "\\LeftLabel{APP}";
protected static final String LABEL_CONST = "\\LeftLabel{CONST}";
protected static final String LABEL_VAR = "\\LeftLabel{VAR}";
protected static final String LABEL_LET = "\\LeftLabel{LET}";
protected static final String LABEL_ABS = "\\LeftLabel{\\rm A{\\small BS}}";
protected static final String LABEL_APP = "\\LeftLabel{\\rm A{\\small PP}}";
protected static final String LABEL_CONST = "\\LeftLabel{\\rm C{\\small ONST}}";
protected static final String LABEL_VAR = "\\LeftLabel{\\rm V{\\small AR}}";
protected static final String LABEL_LET = "\\LeftLabel{\\rm L{\\small ET}}";
protected static final String UIC = "\\UnaryInfC";
protected static final String BIC = "\\BinaryInfC";