如何书写这些符号（双 V 形、楔形和括号）

Question

我想知道如何做这三件事（红色）：

对于最后一个，我对括号很好奇。

用这种语言“写”可能不太难，但我不知道。希望你能帮助我。

Answer 1

双括号在和中定义stmaryrd为。\llbracket\rrbracket

对于其他符号，只要它们只能在显示模式下使用，您可以定义

\DeclareMathOperator*{\bigdoublewedge}{\bigwedge\mkern-15mu\bigwedge}
\DeclareMathOperator*{\bigdoublevee}{\bigvee\mkern-15mu\bigvee}

平均能量损失

\documentclass{article}
\usepackage{amsmath,stmaryrd}

\DeclareMathOperator*{\bigdoublewedge}{\bigwedge\mkern-15mu\bigwedge}
\DeclareMathOperator*{\bigdoublevee}{\bigvee\mkern-15mu\bigvee}

\begin{document}
\[\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \llbracket p_{1} \rrbracket_{v}\]
\end{document} 

---

编辑

如果\bigdoublewedge和\bigdoublevee不仅要在显示模式下使用，则以下定义​​更合适

\newcommand{\bigdoublewedge}{%
  \mathop{
    \mathchoice{\bigwedge\mkern-15mu\bigwedge}
               {\bigwedge\mkern-12.5mu\bigwedge}
               {\bigwedge\mkern-12.5mu\bigwedge}
               {\bigwedge\mkern-11mu\bigwedge}
    }
}

\newcommand{\bigdoublevee}{%
  \mathop{
    \mathchoice{\bigvee\mkern-15mu\bigvee}
               {\bigvee\mkern-12.5mu\bigvee}
               {\bigvee\mkern-12.5mu\bigvee}
               {\bigvee\mkern-11mu\bigvee}
    }
}

梅威瑟：

\documentclass{article}
\usepackage{amsmath}

\newcommand{\bigdoublewedge}{%
  \mathop{
    \mathchoice{\bigwedge\mkern-15mu\bigwedge}
               {\bigwedge\mkern-12.5mu\bigwedge}
               {\bigwedge\mkern-12.5mu\bigwedge}
               {\bigwedge\mkern-11mu\bigwedge}
    }
}

\newcommand{\bigdoublevee}{%
  \mathop{
    \mathchoice{\bigvee\mkern-15mu\bigvee}
               {\bigvee\mkern-12.5mu\bigvee}
               {\bigvee\mkern-12.5mu\bigvee}
               {\bigvee\mkern-11mu\bigvee}
    }
}

\begin{document}
\[\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]

\[\textstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]

\[\scriptstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]

\[\scriptscriptstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}\]
\end{document} 

Answer 2

karlkoeller 方法的变体，不需要猜测备份的数量。可以通过更改中的因子来调整两个符号的相对位置

\makebox[1.35\wd\z@][s]{$\m@th#1#2\hss#2$}%

在此示例中设置为 1.35。

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\newcommand{\bigdoublevee}{\big@doubleop{\bigvee}}
\newcommand{\bigdoublewedge}{\big@doubleop{\bigwedge}}
\newcommand{\big@doubleop}[1]{%
  \DOTSB\mathop{\mathpalette\big@doubleop@aux{#1}}\slimits@
}

\newcommand\big@doubleop@aux[2]{%
  \sbox\z@{$\m@th#1#2$}%
  \makebox[1.35\wd\z@][s]{$\m@th#1#2\hss#2$}%
}
\makeatother

\begin{document}
\begin{gather*}
\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}
\\
\textstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}
\\
\scriptstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}
\\
\scriptscriptstyle\bigdoublewedge_{i\leq 0}\varphi_{i}=\varphi_{0}\qquad
  \bigdoublevee_{i\leq 0}\varphi_{i}=\varphi_{0}
\end{gather*}
\end{document}