数学运算符内的符号

Question

我想定义一个看起来有点像这样的数学运算符，它是我在图像编辑器中从符号中模拟出来的amsmath \square：

有时框里面会有不同于 lambda 的字母，或者类似的表达式\lambda'，但框应该始终具有相同的大小，并且始终是正方形——它应该是一个带有符号的内联运算符，而不是围绕部分公式的框。

我不介意必须手动将公式定位在其中，因为我可能只会使用几个不同的字母。

它不必基于\square。事实上，我认为如果基线稍微低一点，例如匹配，它会看起来更好+。

有没有合理的方法来实现这一点？

Answer 1

这是使用\framebox固定大小的解决方案。我认为如果方块中的符号较小，看起来会更好\scriptstyle。我认为使用任何小写拉丁字母或希腊字母看起来都相当不错。

\documentclass{article}
\usepackage{amsmath}
\newcommand{\squareop}[1]{%
    \setlength{\fboxsep}{0pt}%
    \setlength{\unitlength}{.7em}%
    \mathrel{%
        \raisebox{-1pt}{\framebox(1,1){\(\scriptstyle #1\)}}%
    }%
}
\begin{document}
\begin{tabular}{lll}
    \( x \squareop{a} y \)  & \( x \squareop{b} y \)    & \( x \squareop{c} y \)    \\
    \( x \squareop{d} y \)  & \( x \squareop{e} y \)    & \( x \squareop{f} y \)    \\
    \( x \squareop{g} y \)  & \( x \squareop{h} y \)    & \( x \squareop{i} y \)    \\
    \( x \squareop{j} y \)  & \( x \squareop{k} y \)    & \( x \squareop{l} y \)    \\
    \( x \squareop{m} y \)  & \( x \squareop{n} y \)    & \( x \squareop{o} y \)    \\
    \( x \squareop{p} y \)  & \( x \squareop{q} y \)    & \( x \squareop{r} y \)    \\
    \( x \squareop{s} y \)  & \( x \squareop{t} y \)    & \( x \squareop{u} y \)    \\
    \( x \squareop{v} y \)  & \( x \squareop{w} y \)    & \( x \squareop{z} y \)    \\
\end{tabular}
\qquad
\begin{tabular}{lll}
    \( x \squareop{\alpha} y \)     & \( x \squareop{\beta} y \)    & \( x \squareop{\gamma} y \)  \\
    \( x \squareop{\delta} y \)     & \( x \squareop{\epsilon} y \) & \( x \squareop{\zeta} y \)   \\
    \( x \squareop{\eta} y \)       & \( x \squareop{\theta} y \)   & \( x \squareop{\iota} y \)   \\
    \( x \squareop{\kappa} y \)     & \( x \squareop{\lambda} y \)  & \( x \squareop{\mu} y \)     \\
    \( x \squareop{\nu} y \)        & \( x \squareop{\xi} y \)      & \( x \squareop{\pi} y \)     \\
    \( x \squareop{\rho} y \)       & \( x \squareop{\sigma} y \)   & \( x \squareop{\tau} y \)    \\
    \( x \squareop{\upsilon} y \)   & \( x \squareop{\phi} y \)     & \( x \squareop{\varphi} y \) \\
    \( x \squareop{\chi} y \)       & \( x \squareop{\psi} y \)     & \( x \squareop{\omega} y \)  \\
\end{tabular}
\end{document}

Answer 2

您可能还想要大版本。

\documentclass{article}
\usepackage{amsmath,array,relsize}

\makeatletter
\DeclareRobustCommand{\boxop}[1]{\mathbin{\mathpalette\box@op{#1}}}
\DeclareRobustCommand{\bigboxop}[1]{\mathop{\mathpalette\bigbox@op{#1}}\slimits@}

\newcommand{\box@op}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1\mkern15mu$}%
  \dimen@=\wd\z@
  \setlength{\fboxsep}{0pt}%
  \makebox[\dimen@]{%
    \framebox[0.9\dimen@]{%
      \vbox to 0.9\dimen@{%
        \vss
        \hbox{\raisebox{\depth}{$\box@op@style{#1}#2$}}%
        \vss
      }%
    }%
  }%
  \endgroup
}
\newcommand{\box@op@style}[1]{%
  \ifx#1\displaystyle\scriptstyle\else
  \ifx#1\textstyle\scriptstyle\else
  \scriptscriptstyle\fi\fi\m@th
}
\newcommand{\bigbox@op}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1\sum$}%
  \dimen@=\wd\z@
  \vphantom{\sum}%
  \vcenter{%
    \setlength{\fboxsep}{0pt}%
    \hbox to \dimen@{%
      \hss
      \framebox[0.9\dimen@]{%
        \vbox to 0.9\dimen@{%
          \vss
          \hbox{\raisebox{\depth}{$\m@th#1\box@op@larger{#1}{#2}$}}%
          \vss
        }%
      }%
      \hss
    }%
  }%
  \endgroup
}
\newcommand{\box@op@larger}[2]{%
  \ifx#1\displaystyle
    \expandafter\@firstoftwo
  \else
    \expandafter\@secondoftwo
  \fi
  {\mathlarger{#2}}{#2}%
}
\makeatother

\begin{document}

$x\boxop{\lambda}y\boxop{\lambda\!'}z\boxop{\varphi}w\boxop{\beta}u$

$\scriptstyle x\boxop{\lambda}y\boxop{\lambda\!'}z$

$\displaystyle\sum_{k=1}^n\bigboxop{\lambda}_{k=1}^n x_k$
$\bigboxop{\lambda}_{k=1}^n x_k$
$\scriptstyle\bigboxop{\lambda}_{k=1}^n x_k$

$\displaystyle\sum_{k=1}^n\sum_{k=1}^n x_k$

\end{document}

Answer 3

我不知道使用youngtab数学运算符中的符号。写正方形具有相同的尺寸是正确的。

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}

\usepackage{youngtab}
\Ylinethick{0.5pt}
\begin{document}

$a \mathrel{\young(\lambda)} b$, $A_{\mathrel{\young(\mu)_c^d}}$, $X\sim\sum_{i=1}^nx_i\mathrel{\young(\diamond)}y_i$.

\end{document}