diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
index 119396e..1fbdeac 100644
--- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
+++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
@@ -34,11 +34,11 @@ public final class LatexCreatorConstants {
     protected static final char BRACKET_LEFT = '[';
     protected static final char BRACKET_RIGHT = ']';
 
-    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 LABEL_ABS = "\\LeftLabel{\\textrm A{\\small BS}}";
+    protected static final String LABEL_APP = "\\LeftLabel{\\textrm A{\\small PP}}";
+    protected static final String LABEL_CONST = "\\LeftLabel{\\textrm C{\\small ONST}}";
+    protected static final String LABEL_VAR = "\\LeftLabel{\\textrm V{\\small AR}}";
+    protected static final String LABEL_LET = "\\LeftLabel{\\textrm L{\\small ET}}";
 
     protected static final String UIC = "\\UnaryInfC";
     protected static final String BIC = "\\BinaryInfC";
diff --git a/src/main/java/edu/kit/typicalc/view/main/InputBar.java b/src/main/java/edu/kit/typicalc/view/main/InputBar.java
index 62a355c..17e1aa0 100644
--- a/src/main/java/edu/kit/typicalc/view/main/InputBar.java
+++ b/src/main/java/edu/kit/typicalc/view/main/InputBar.java
@@ -76,7 +76,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
         UI.getCurrent().getPage().executeJs("window.lambdaButtonListener($0, $1);", LAMBDA_BUTTON_ID, INPUT_FIELD_ID);
         typeAssumptions = new Button("", event -> onTypeAssumptionsButton());
         typeAssumptionsArea = new TypeAssumptionsArea();
-        Button exampleButton = new Button(getTranslation("root.examplebutton"), event -> onExampleButtonClick());
+        Button exampleButton = new Button(VaadinIcon.PAPERCLIP.create(), event -> onExampleButtonClick());
         exampleButton.setId(EXAMPLE_BUTTON_ID);
         inferTypeButton = new Button("", event -> onTypeInferButtonClick(callback));
         inferTypeButton.addClickShortcut(Key.ENTER).listenOn(this);
diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index a30b825..8e01964 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -70,7 +70,7 @@ Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbind
 Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \
 kodiert.
 root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt.
-root.tooFewTokensHelp=Überprüfen sie, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen.
+root.tooFewTokensHelp=Überprüfen Sie, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen.
 root.UNEXPECTED_TOKEN=Der Term entspricht nicht der im Info-Dialog spezifizierten Syntax!
 root.UNEXPECTED_CHARACTER=Der Term enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist!
 root.wrongCharacter=Falsches Zeichen: \u0020
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index 05eb801..eecda9b 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -106,9 +106,9 @@ root.absLetLatex=\
 \\end{prooftree}
 
 root.infinite_type = The entered term cannot be typed: \
-  The highlighted Constraint would cause an infinite type!
+  The highlighted constraint would cause an infinite type!
 root.different_types = The entered term cannot be typed: \
-  The highlighted Constraint contains two incompatible types!
+  The highlighted constraint contains two incompatible types!
 
 share.heading=Share
 share.url.label=URL