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

Symbol hinzugefügt

Browse source
This commit is contained in:
Martin Thoma 2014-03-31 14:12:04 +02:00
parent f9a5e819c1
commit a6d27bdede
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
documents/Programmierparadigmen/Programmierparadigmen.pdf
View file

Binary file not shown.

4
documents/Programmierparadigmen/Symbolverzeichnis.tex
View file

@ -41,11 +41,11 @@ $\psi \vdash \varphi$ & Syntaktische Herleitbarkeit\newline Die Formel $\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section*{Weiteres}
\settowidth\mylengtha{$\bot$}
\settowidth\mylengtha{$a \Parr b$}
\setlength\mylengthb{\dimexpr\columnwidth-\mylengtha-2\tabcolsep\relax}
\begin{xtabular}{@{} p{\mylengtha} P{\mylengthb} @{}}
$\bot$ & Bottom\\
$\Parr$ & TODO?\\
$a \Parr b$ & $a$ wird zu $b$ unifiziert\\
$\succeq$& Typschemainstanziierung\\
\end{xtabular}