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

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 6533631..32a8e4d 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,10 @@
 # General lab info
 
+```math
+\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