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