diff --git a/README.md b/README.md
index 93aeb614860b7adadff6aee7305a5436b8f2a9a5..6533631e97c96ff343e88812283a2da611e1c0d4 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.