Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

Quantoren

15 views
Skip to first unread message

Maike Schmidt

unread,
Jul 14, 2002, 1:14:14 PM7/14/02
to
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

unread,
Jul 14, 2002, 12:07:58 PM7/14/02
to
"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

unread,
Jul 14, 2002, 4:55:35 PM7/14/02
to
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

0 new messages