Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Something like \bigforall

238 views
Skip to first unread message

Martin

unread,
Mar 4, 2011, 3:36:17 AM3/4/11
to
Does there exists a symbol corresponding to \forall in the same way as
\bigcap corresponds to \cap?
So that I could use $\bigforall\limits_{\varepsilon>0}$.

I've tried \operatornamewithlimits{\forall}, which looks ugly.
(Basically it is similar look as using \operatornamewithlimits{\cap}
instead of \bigcap.

Thanks in advance!

Martin

Martin

unread,
Mar 4, 2011, 3:52:16 AM3/4/11
to

After a little bit more googling I found this
http://code.google.com/p/uwisdom/source/browse/Tex.wiki?repo=wiki
suggesting

In TeX/LaTeX, to create a large "forall" symbol (which ordinarily is
no
larger in display mode than in any other math mode), do something like
{{{
\newcommand{\bigforall}[2]{{{\raisebox{-6pt}{\mbox{\Large$\forall$}
$#1$}}\atop{\scriptstyle #2}}}
}}}

With the above definition
$$\bigforall{}{\varepsilon>0} f(x)\le 1+\varepsilon$$
does what I wanted.

Martin

GL

unread,
Mar 4, 2011, 7:19:52 AM3/4/11
to
Le 04/03/2011 09:52, Martin a �crit :

> On Mar 4, 9:36 am, Martin<slez...@fmph.uniba.sk> wrote:
>> Does there exists a symbol corresponding to \forall in the same way as
>> \bigcap corresponds to \cap?
>> So that I could use $\bigforall\limits_{\varepsilon>0}$.
>>
>> I've tried \operatornamewithlimits{\forall}, which looks ugly.
>> (Basically it is similar look as using \operatornamewithlimits{\cap}
>> instead of \bigcap.

You'll get a better behaviour redefining \forall as a math operator.
amsopn make it easy:

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{amsmath,amsopn}
\usepackage{relsize}
\makeatletter
\let\forall@mathchar \forall
\let\forall \relax \DeclareMathOperator*\forall{\forall@mathchar}

\DeclareMathOperator*\varforall{\mathchoice{\mathlarger\forall@mathchar}{\forall@mathchar}{\forall@mathchar}{\forall@mathchar}}

\begin{document}

$\forall x \in \frac A{\mathcal R}$

$$\forall x \in \frac A{\mathcal R}$$

$\forall_{\substack{x>0 \\ \varepsilon>0}} x \in \frac A{\mathcal R}$

$$\forall_{\substack{x>0 \\ \varepsilon>0}} x \in \frac A{\mathcal R}$$

$\varforall_{\substack{x>0 \\ \varepsilon>0}} x \in \frac A{\mathcal R}$

$$\varforall_{\substack{x>0 \\ \varepsilon>0}} x \in \frac A{\mathcal R}$$


\end{document}\endinput

0 new messages