minor

README.md

@@ -6,7 +6,7 @@ Most importantly it contains the makefile with common command packages to compil
 
 * Add a submodule to your git repository with `git submodule add git@git8.cs.fau.de:public-repos/TexCommon.git` or `<relative path>/public-repos/TexCommon.git`
 * Run `git submodule update --init` or `git submodule update --recursive` in `TexCommon` if it is empty
-* Use `git pull origin master` in `TexCommon` to update to the latest version
+* Use `git pull <remote> <branch>` in `TexCommon` to update to the latest version
 * Add the `Makefile` to your repository with the content
 
 ```

catprog.tex

@@ -45,9 +45,11 @@
 \def\DCpo{\catname{DCpo}}
 \def\Top{\catname{Top}}
 \def\Met{\catname{Met}}
+\def\Rel{\catname{Rel}}
 
 % Misc
 \providecommand{\eps}{{\operatorname\epsilon}}
+\providecommand{\ups}{{\operatorname\upsilon}}
 \providecommand{\amp}{\mathbin{\&}}
 
 \providecommand{\argument}{\operatorname{-\!-}}