Quantoren

[Maike Schmidt]

Gibt es eine Möglichkeit, den Allquantor zu vergrößern? Ich
hab darunter noch die Indexmenge stehen, und dann sieht
der kleine Quantor da drüber sehr klein aus. Für das Oder-
und Und-Zeichen gibt es ja auch größere Exemplare.

Maike

[Roland Illig]

"Maike Schmidt" <maikes...@gmx.de> schrieb:

\documentclass[12pt]{article}
\usepackage[latin1]{inputenc}
\usepackage{bbm}

\parindent=0pt
\def\Forall{\mathop{\raisebox{-1ex}%
{\hbox{\Huge{$\forall$}}}}\limits}
\def\Exists{\mathop{\raisebox{-1ex}%
{\hbox{\Huge{$\exists$}}}}\limits}
\def\ExistsOne{\mathop{\raisebox{-1ex}%
{\hbox{\Huge{$\exists!$}}}}\limits}
\def\Times{\mathop{\raisebox{-1ex}%
{\hbox{\Huge{$\times$}}}}\limits}

\begin{document}

Die Menge der natürlichen Zahlen:
$$\Forall_{n \in \mathbbm{N}} n \ge 0.$$

Zu jeder reellen Zahl gibt es eine größere natürliche Zahl:
$$\Forall_{z \in \mathbbm{R}} \quad
\Exists_{n \in \mathbbm{N}} n > z.$$

\end{document}

Roland

[Maike Schmidt]

Roland Illig wrote:

> \documentclass[12pt]{article}
> \usepackage[latin1]{inputenc}
> \usepackage{bbm}
>
> \parindent=0pt
> \def\Forall{\mathop{\raisebox{-1ex}%
> {\hbox{\Huge{$\forall$}}}}\limits}
> \def\Exists{\mathop{\raisebox{-1ex}%
> {\hbox{\Huge{$\exists$}}}}\limits}
> \def\ExistsOne{\mathop{\raisebox{-1ex}%
> {\hbox{\Huge{$\exists!$}}}}\limits}
> \def\Times{\mathop{\raisebox{-1ex}%
> {\hbox{\Huge{$\times$}}}}\limits}
>
> \begin{document}
>
> Die Menge der natürlichen Zahlen:
> $$\Forall_{n \in \mathbbm{N}} n \ge 0.$$
>
> Zu jeder reellen Zahl gibt es eine größere natürliche Zahl:
> $$\Forall_{z \in \mathbbm{R}} \quad
> \Exists_{n \in \mathbbm{N}} n > z.$$
>
> \end{document}

Danke schön!

Maike