Wie kann ich die Zeilen von Tabellen vergrößern?
Ich möchte die Höhe von Tabellen-Zeilen vergrößern, und auch die Tiefe - also nicht nur oben Abstand anfügen. Ich habe `\extrarowheight` gefunden (bringt mir noch einen Fehler), es scheint aber kein `\extrarowdepth` zu geben.
Hier ein Minimalbeispiel mit so einer zu eng gesetzten Tabelle, die in meinem Original mehr Zeilen hat:
\documentclass{article}
%\setlength{\extrarowheight}{1cm}
\usepackage[utf8]{inputenc}
\begin{document}
\begin{tabular}{ccc}\hline
\textbf{Bezeichnung} & \textbf{Schreibweise} & \textbf{Sprechweise} \\\hline
Implikation & $p \Rightarrow q$ & aus $p$ folgt $q$\\
Äquivalenz & $p \Leftrightarrow q$ & $p$ genau dann, wenn $q$\\\hline
\end{tabular}
\end{document}
Was ist eine gute Möglichkeit, Abstand oben und unten zu setzen?