# How to achieve correctly the typesetting of $\bigwedge^\prime$ in display style?

I want to achieve \bigwedge'

in display style.

However, $\bigwedge'$ gives me naturally

The first approach I tried is to convert it in text style, but it becomes smaller than it was in display style:

(for $\bigwedge T \le \bigwedge S \implies \textstyle{\bigwedge'}$)

How could I achieve bigwedge' in display style without altering its size?

\bigwedge is a large math operator and is therefore sensitive to \limits and \nolimits. If you have no other stuff to put above or below it you can use \bigwedge\nolimits'. If you have other indices you might be interested in the \sideset command from amsmath.

\documentclass{article}

\usepackage{amsmath}

\begin{document}

$\bigwedge\nolimits' \qquad \bigwedge\nolimits'_{i=1} \qquad \sideset{}{'}\bigwedge_{i=1}^{n}$

\end{document}


If you put \bigwedge into curly braces it works as expected. Another approach would be to insert a small positive space in between \bigwedge and '. This would mess up the height of the operator, because it wouldn't be related to \bigwedge anymore.

MWE:

\documentclass{article}

\usepackage{mathtools}

\begin{document}
$\bigwedge^{\prime}$ % Doesn't work; equivalent to '-syntax
$\bigwedge T \le \bigwedge S \implies {\bigwedge}'$
$\bigwedge\,'$
\end{document}


• The problem with {\bigwedge}' is that is messes up spacing: enclosing a symbol (or subformula) in {...} turns it into a \mathord. – campa Mar 11 '20 at 9:50
• Thanks for mentioning that! However i don't see any difference between the {...}' and \sideset-solutions in our screenshots. Your solution is the "right one", while mine is faster to type i guess. – Tim Hilt Mar 11 '20 at 9:52
• True, no difference in the screenshots. But try to add some symbols left or right and you'll notice. E.g. {\bigwedge}'T vs \bigwedge\nolimits'T. – campa Mar 11 '20 at 9:57
• Ok, got it. Thanks for the explanation! – Tim Hilt Mar 11 '20 at 10:06
• @campa what you say is true but (depending on the meaning the OP wants) maybe {} as a mathord is the right thing. The bigwedge is an operator applied to T and S but (apparently) the primed version is not an operator but a self standing term to the right of the arrow so maybe the {} version is more natural. Not sure. – David Carlisle Mar 11 '20 at 10:32