Added missing commands for i.e and e.g..

2019-07-02 06:15:43 +01:00 · 2019-07-02 06:15:43 +01:00 · 4ed22b6951
parent 6534c36375
commit 4ed22b6951
1 changed files with 2 additions and 1 deletions
--- a/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
+++ b/examples/technical_report/TR_my_commented_isabelle/document/preamble.tex
@ -16,4 +16,5 @@
 \usepackage{prooftree}
 \title{<TITLE>}
 \author{<AUTHOR>}
-
+\newcommand{\eg}{e.\,g.}
+\newcommand{\ie}{i.\,e.}