diff --git a/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java b/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
index 3ae86e3..a265256 100644
--- a/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
+++ b/src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
@@ -6,6 +6,7 @@ import com.vaadin.flow.component.applayout.DrawerToggle;
 import com.vaadin.flow.component.avatar.Avatar;
 import com.vaadin.flow.component.button.Button;
 import com.vaadin.flow.component.dependency.CssImport;
+import com.vaadin.flow.component.dependency.JavaScript;
 import com.vaadin.flow.component.dependency.JsModule;
 import com.vaadin.flow.component.html.H1;
 import com.vaadin.flow.component.html.Image;
@@ -20,14 +21,15 @@ import com.vaadin.flow.component.tabs.Tabs;
 import edu.kit.typicalc.model.ModelImpl;
 import edu.kit.typicalc.model.TypeInfererInterface;
 import edu.kit.typicalc.model.parser.ParseError;
-import edu.kit.typicalc.view.content.typeinferencecontent.TypeInferenceView;
 import edu.kit.typicalc.presenter.Presenter;
+import edu.kit.typicalc.view.content.typeinferencecontent.TypeInferenceView;
 
 /**
  * The main view is a top-level placeholder for other views.
  */
 @CssImport("./styles/view/main/main-view.css")
 @JsModule("./styles/shared-styles.js")
+@JavaScript("./src/tex-svg-full.js")
 public class MainViewImpl extends AppLayout implements MainView {
 
     private H1 viewTitle;
diff --git a/src/main/java/edu/kit/typicalc/view/main/MathjaxDisplay.java b/src/main/java/edu/kit/typicalc/view/main/MathjaxDisplay.java
index bd47c2d..f561153 100644
--- a/src/main/java/edu/kit/typicalc/view/main/MathjaxDisplay.java
+++ b/src/main/java/edu/kit/typicalc/view/main/MathjaxDisplay.java
@@ -1,7 +1,6 @@
 package edu.kit.typicalc.view.main;
 
 import com.vaadin.flow.component.Tag;
-import com.vaadin.flow.component.dependency.JavaScript;
 import com.vaadin.flow.component.dependency.JsModule;
 import com.vaadin.flow.component.html.Div;
 import com.vaadin.flow.component.littemplate.LitTemplate;
@@ -9,7 +8,6 @@ import com.vaadin.flow.component.template.Id;
 
 @Tag("tc-display")
 @JsModule("./src/mathjax-display.ts")
-@JavaScript("./src/tex-svg-full.js")
 public class MathjaxDisplay extends LitTemplate {
 
     @Id("tc-content")