0

How to modify \forall so that it places sub/superscripts below/above the "all" symbol? Just like \sum or \int.

Joachim W
  • 762
  • 3
  • 15

2 Answers2

2

Is this what you want? Taken from my solution here. The \scalerel* command sizes the \forall symbol to match the size of a \sum symbol. Note that \DeclareMathOperator* requires the amsmath package and \scalerel* requires the scalerel package.

enter image description here

\documentclass{article}

\usepackage{amsmath,scalerel}

\DeclareMathOperator{\Forall}{\scalerel{\forall}{\sum}}

\begin{document}

[ \Forall_{n=1}^{\infty} a_n ]

Inline: $\Forall_{n=1}^{\infty} a_n$.

\end{document}

Sandy G
  • 42,558
  • Doesn't work for me. I am using plain latex;dvips;ps2pdf under a document class provided by a publisher (IUCr). Only sub- and superscript are shown, but not the "all" symbol. There is no empty box; the sub/superscript placement indicates that instead of the symbol there is at most a box of size 0. – Joachim W Jan 10 '24 at 14:12
0

Thanks to kind input from @cabohah, here a solution that is not perfect but looks well enough:

\def\Forall{\mathop{\raisebox{-5pt}{\scalebox{2.0}{\ensuremath \forall}}}\limits}

Not perfect because the numeric constants need to be adjusted for given font size.

Joachim W
  • 762
  • 3
  • 15