From 369c8d4e217058c651f461c0f4299d56fbda0326 Mon Sep 17 00:00:00 2001 From: Hugo Wangler <hugwan-6@student.ltu.se> Date: Fri, 22 Nov 2019 12:03:45 +0000 Subject: [PATCH] Update HOME_EXAM.md --- HOME_EXAM.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 8233179..bdd8b16 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -157,7 +157,9 @@ Given a expression $e$ in the state $\sigma$ that evaluates to a value $n$ or b #### Arithmetic Addition:\ -$\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 + e2, \sigma \rang \ \Downarrow \ n1 + n2}$ +```math +\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 + e2, \sigma \rang \ \Downarrow \ n1 + n2} +``` Subtraction:\ $\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 - e2, \sigma \rang \ \Downarrow \ n1 - n2}$ -- GitLab