I am referring to David Carlisle's answer to the question on how one can achieve the same spacing around \middle| as around \mid. Please note, that I am using unicode-math and LuaLaTeX.
The answer is to use the unicode versions \Uleft, \Umiddle and \Uright and state the class explicitly, e.g.
\documentclass{article}
\begin{document}
$\Uleft( A \Umiddle class 2 | B \Uright)$
\end{document}
Now, I have
\renewcommand{\left}{\Uleft}
\renewcommand{\right}{\Uright}
\renewcommand{\middle}{\Umiddle class 2 }
after \begin{document} and I am quite happy with the spacing.
However, sometimes I need to resort to the explicit sizes \big, \bigg, ... and so on and their respective left and right counterparts. My naive hope was that their are also unicode variants and \Ubig class 2 \vert would do the trick. But those commands do not exist.
How do I get a class-2 spacing for \big, \bigg, ... and so on?
\biggm|(or\biggm\vert) work out to the same as\mathrel{\bigg|}? – Mico Feb 21 '20 at 21:16