Update HOME_EXAM.md

HOME_EXAM.md

@@ -293,6 +293,10 @@ The other integer expressions are
 ```math
 \frac{<e_1,σ> ⇓ b_1 <e_2, σ> ⇓ b_2}{<e_1 == e_2, σ> ⇓ b_1 \text{ equal } b_2}
 ```
+
+```math
+\frac{<e_1,σ> ⇓ b_1 <e_2,σ> ⇓ b_2}{<e_1 > e_2,σ> ⇓ b_1 \text{greater than } b_2}
+```
 Other boolean expressions are
 - "==", equal
 - "!=", not equal