Symbol inside math operator
You may also want the big version.
\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}
Here's a solution using a \framebox
of fixed size. I thought it would look better if the symbol in the square was smaller, in \scriptstyle
. I think it looks reasonably good with any lowercase latin or greek letter.
\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}