大型 Veebar – 如何生产它？

Question

伙计们。

我正在写一些逻辑方程式，我需要这样的东西：

我通过下面的代码生成这个符号：

\begin{equation} \underline{\bigvee^{\forall R_{I}}}R_{I}(x,y) \end{equation}

然而，当我有更广泛的限制时，就会发生这种糟糕的事情：

问题是：有没有办法制作一个“大”\veebar符号，其下划线的长度与“V”的长度相同（更可能是第一张图片）？

欢迎提出任何想法！提前致谢！

Answer 1

欢迎！只需声明一个可以有限制的新数学运算符即可。这可以使用带星号的,版本来完成\DeclareMathOperator。\DeclareMathOperator*

\documentclass{article}
\usepackage{amsmath}
\DeclareMathOperator*{\ubigvee}{\underline{\bigvee}}
\begin{document}
\begin{equation} 
\ubigvee^{\forall R_{I}}R_{I}(x,y) \quad
\ubigvee^{\forall R_{I},x,y}R_{I}(x,y) 
\end{equation}
\end{document}