From 1085e71491aaf17065b2d8e363decfa0545a8ea5 Mon Sep 17 00:00:00 2001
From: Jonas Jacobsson <jonjac-6@student.ltu.se>
Date: Wed, 24 Feb 2021 18:42:08 +0000
Subject: [PATCH] Update README.md

---
 README.md | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/README.md b/README.md
index 93aeb61..6533631 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,5 @@
 # General lab info
 
-$$ \frac{\lang c_1,\sigma \rang \longrightarrow \sigma' \qquad \lang c_2, \sigma \rang \longrightarrow \sigma'}
-{\lang c_1; c_2;,\sigma \rang \longrightarrow \sigma''} $$
-
 In this course you will use Git extensively. To master Git and/or similar content management system with version control is absolutely essential engineering skill. If you have not used Git or similar, here is your chance to learn.
 
 If you are under Linux, you likely have Git installed by default (else use your Linux package manager to install it). If you are under Windows, then look at https://git-scm.com/downloads. If you get stuck, use the Telegram group to ask questions and help each other out.
-- 
GitLab