\mediumvee 和 \mediumwedge？

Question

我想要获得一个析取符号（和一个合取符号），大于 $\vee$ 且小于 $\bigvee$（$\wedge$ 和 $\bigwedge）；它的高度应该与 $\exists$ 和 $\forall$ 相同。

英国逻辑学家杰弗里·亨特（Geoffrey Hunter）在他的书中使用了这种$\mediumvee$和$\mediumwedge$元逻辑：标准一阶逻辑元理论简介，用于存在量词和全称量词。有时，人们会看到使用更大的版本来实现上述目的，但我更喜欢我指出的大小。

这个问题怎样解决？

Answer 1

如果将“Hunter 风格”的全称量词与标准“and”符号一起使用，我会感到非常困惑。

这是一种可能性，缩放\land以匹配大写字母（我使用 T 作为匹配字符）。

\documentclass{article}
\usepackage{graphicx}

\DeclareRobustCommand{\hunterforall}{%
  % no need to make it scalable in sub/superscripts
  \mathord{\resizebox{!}{\fontcharht\textfont1 `T}{\raisebox{\depth}{$\land$}}}%
}
\RenewCommandCopy{\forall}{\hunterforall}

\begin{document}

$\forall x(F^*(x)\land F^{*\prime}(x))$

\end{document}