tex-projects/LaTeX-examples
2
0
Fork 0
mirror of https://github.com/MartinThoma/LaTeX-examples.git synced 2025-04-26 06:48:04 +02:00
Code Activity

Church-Zahlen / Lambda-Kalkuel

Browse source
This commit is contained in:
Martin Thoma 2014-03-07 12:20:14 +01:00
parent 6fc736034a
commit 575de5f3d1
3 changed files with 109 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

2
documents/Programmierparadigmen/shortcuts.sty
View file

@ -71,6 +71,8 @@
\DeclareMathOperator{\IWS}{IWS}
\DeclareMathOperator{\SLL}{SLL}
\DeclareMathOperator{\Bild}{Bild}
\let\succ\relax% Set equal to \relax so that LaTeX thinks it's not defined
\DeclareMathOperator{\succ}{succ}
\newcommand{\iu}{{i\mkern1mu}} % imaginary unit
%\DeclareMathOperator{\Re}{Re}
%\DeclareMathOperator{\Im}{Im}