楔形和 V 形三角形符号用作运算符

Question

这两个符号是否有一个数学模式命令：

？

它们的尺寸和用途将会是的\wedge，\vee所以它们应该匹配。

Answer 1

图片模式来救援！

\documentclass{article}
\usepackage{pict2e}

\makeatletter
\newcommand{\cwedge}{\mathbin{\mathpalette\do@cwedge\relax}}
\newcommand{\do@cwedge}[2]{%
    \sbox\z@{$#1\m@th\wedge$}%
    \dimen@=\ht\z@
    \unitlength=.005\wd\z@
    \count@=\dimen@ 
    \divide\count@\unitlength
    \begin{picture}(200,\count@)
    \roundjoin
    \polygon(25,0)(100,\count@)(175,0)
    \end{picture}%
}
\newcommand{\cvee}{\mathbin{\mathpalette\do@cvee\relax}}
\newcommand{\do@cvee}[2]{%
    \sbox\z@{$#1\m@th\vee$}%
    \dimen@=\ht\z@
    \unitlength=.005\wd\z@
    \count@=\dimen@ 
    \divide\count@\unitlength
    \begin{picture}(200,\count@)
    \roundjoin
    \polygon(25,\count@)(100,0)(175,\count@)
    \end{picture}%
}
\makeatother

\begin{document}

$A\wedge B\cwedge C_{\wedge\cwedge}$

$A\vee B \cvee C_{\vee\cvee}$

\end{document}

我测量了\vee和\wedge符号（当前大小），然后用 构建了符号\polygon。请注意\vee和\wedge有较小的边距，我目测是总宽度的 1/8。（我通过将两个符号叠加来检查图形。）

---

改良版

\documentclass{article}
\usepackage{pict2e}

\makeatletter
\newcommand{\cveewedge@measure}[2]{%
  \sbox\z@{$#1\m@th#2$}%
  \dimen@=1.05\ht\z@
  \unitlength=.005\wd\z@
  \count@=\dimen@ 
  \divide\count@\unitlength
  \ifx#1\scriptstyle
    \linethickness{0.8\@wholewidth}%
  \else
    \ifx#1\scriptscriptstyle
      \linethickness{0.65\@wholewidth}%
    \fi
  \fi
}

\newcommand{\cwedge}{\mathbin{\mathpalette\do@cwedge\relax}}
\newcommand{\do@cwedge}[2]{%
  \cveewedge@measure{#1}{\wedge}
  \begin{picture}(200,\count@)
  \roundjoin
  \polygon(25,0)(100,\count@)(175,0)
  \end{picture}%
}
\newcommand{\cvee}{\mathbin{\mathpalette\do@cvee\relax}}
\newcommand{\do@cvee}[2]{%
  \cveewedge@measure{#1}{\vee}
  \begin{picture}(200,\count@)
  \roundjoin
  \polygon(25,\count@)(100,0)(175,\count@)
  \end{picture}%
}
\makeatother

\begin{document}

$A\wedge B\cwedge C_{\wedge\cwedge_{\wedge\cwedge}}$

$A\vee B \cvee C_{\vee\cvee_{\vee\cvee}}$

\end{document}

现在还与\boldmath甚至\bm

\documentclass{article}
\usepackage{pict2e,pdftexcmds,bm}

\makeatletter
\newcommand{\cveewedge@measure}[2]{%
  \sbox\z@{$#1\m@th#2$}%
  \dimen@=1.05\ht\z@
  \unitlength=.005\wd\z@
  \count@=\dimen@ 
  \divide\count@\unitlength
  \ifx#1\scriptstyle
    \linethickness{0.8\@wholewidth}%
  \else
    \ifx#1\scriptscriptstyle
      \linethickness{0.65\@wholewidth}%
    \fi
  \fi
  \ifnum\pdf@strcmp{\math@version}{bold}=\z@
    \linethickness{1.5\@wholewidth}
  \fi
}

\newcommand{\cwedge}{\mathbin{\mathpalette\do@cwedge\relax}}
\newcommand{\do@cwedge}[2]{%
  \cveewedge@measure{#1}{\wedge}
  \begin{picture}(200,\count@)
  \roundjoin
  \polygon(25,0)(100,\count@)(175,0)
  \end{picture}%
}
\newcommand{\cvee}{\mathbin{\mathpalette\do@cvee\relax}}
\newcommand{\do@cvee}[2]{%
  \cveewedge@measure{#1}{\vee}
  \begin{picture}(200,\count@)
  \roundjoin
  \polygon(25,\count@)(100,0)(175,\count@)
  \end{picture}%
}
\makeatother

\begin{document}

$A\bm{\cwedge}B$

$A\wedge B\cwedge C_{\wedge\cwedge_{\wedge\cwedge}}$

$A\vee B \cvee C_{\vee\cvee_{\vee\cvee}}$

\boldmath

$A\wedge B\cwedge C_{\wedge\cwedge_{\wedge\cwedge}}$

$A\vee B \cvee C_{\vee\cvee_{\vee\cvee}}$

\end{document}

Answer 2

您可以从MnSymbol包中获取这些内容：

\documentclass[12pt,a4paper]{article}
\usepackage{MnSymbol}
\begin{document}

$$ \medtriangledown $$

$$\medtriangleup \qquad  \wedge \qquad \vee $$

\end{document}

Answer 3

字体stmaryroad具有接近您想要的形状的三角形；简单的解决方案是缩放其粗体版本：

\documentclass{article}

\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{stmaryrd}
\newcommand\smalltriangleup{\mathbin{\raisebox{\dimexpr\depth-0.2pt\relax}{\scalebox{0.6}{$ \boldsymbol\bigtriangleup$}}}}
\newcommand\smalltriangledown{\mathbin{\raisebox{\dimexpr\depth-0.2pt\relax}{\scalebox{0.6}{$ \boldsymbol\bigtriangledown$}}}}

\begin{document}

\[ A \wedge B\qquad A \smalltriangleup B \]%
\[ A\vee D\qquad A \smalltriangledown B \]%

\end{document}