diff --git a/CHANGELOG.md b/CHANGELOG.md
index b18abcfe1d9c831ac5bcc7a639cd8230d9e299d8..1d415ebe7efdaf1b87f5a935b7e0bec0e1a8208d 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,8 @@
 
 ## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.3.1-SNAPSHOT-all.jar?job=test)
 
+* Disabled LaTeX formatting inside `:check` tables as well, because of the layout issues mentioned below.
+
 ## [1.3.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.3.0-all.jar)
 
 * Added support for Java 17.
diff --git a/src/main/java/de/prob2/jupyter/CommandUtils.java b/src/main/java/de/prob2/jupyter/CommandUtils.java
index 450b68b16e6bcdd37300ca92d71d8163c7bf4bb7..1951b387ff59295647c485a0058cc17ef2c16d14 100644
--- a/src/main/java/de/prob2/jupyter/CommandUtils.java
+++ b/src/main/java/de/prob2/jupyter/CommandUtils.java
@@ -336,7 +336,7 @@ public final class CommandUtils {
 	
 	public static @NotNull String inlineMarkdownForEvalResult(final @NotNull AbstractEvalResult aer) {
 		if (aer instanceof EvalResult) {
-			return '$' + UnicodeTranslator.toLatex(((EvalResult)aer).getValue()) + '$';
+			return UnicodeTranslator.toUnicode(((EvalResult)aer).getValue());
 		} else if (aer instanceof ComputationNotCompletedResult) {
 			return "*(computation not completed: " + ((ComputationNotCompletedResult)aer).getReason() + ")*";
 		} else if (aer instanceof IdentifierNotInitialised) {
diff --git a/src/main/java/de/prob2/jupyter/commands/CheckCommand.java b/src/main/java/de/prob2/jupyter/commands/CheckCommand.java
index 5dfeac2600f276aff4f85ad0e51e1cf562d23f26..8fd4fd555a8efbaa5d8b0be51e119c2452195559 100644
--- a/src/main/java/de/prob2/jupyter/commands/CheckCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/CheckCommand.java
@@ -106,7 +106,7 @@ public final class CheckCommand implements Command {
 		for (final IEvalElement f : formulas) {
 			final AbstractEvalResult result = trace.evalCurrent(f);
 			sjPlain.add(f.getCode() + " = " + CommandUtils.inlinePlainTextForEvalResult(result));
-			sjMarkdown.add("|$" + UnicodeTranslator.toLatex(f.getCode()) + "$|" + CommandUtils.inlineMarkdownForEvalResult(result) + '|');
+			sjMarkdown.add("|" + UnicodeTranslator.toUnicode(f.getCode()) + "|" + CommandUtils.inlineMarkdownForEvalResult(result) + '|');
 		}
 		final DisplayData result = new DisplayData(sjPlain.toString());
 		result.putMarkdown(sjMarkdown.toString());