类似于带圆圈的算术运算符的带圆圈不等式关系符号

Question

\odot我正在寻找（带圆圈的点）和（带圆圈的加号）运算符的变体\oplus，但用于不等式关系。换句话说，我正在寻找符号来替代以下示例中第二行打印的空白。

\documentclass{amsart}
\begin{document}
\begin{align*}
c\cdot x + y &\leq z\\
c\odot x\oplus y &\quad\ z
\end{align*}
\end{document}

我找不到任何匹配的符号解纤。

Answer 1

我们可以通过适当的缩放使圆与圆相匹配\oplus。

要圈出的符号必须根据其大小进行缩放，因此\ogeneric提供了一个可选参数（默认值0.7似乎不错<）。

\documentclass{article}
\usepackage{amsmath,graphicx,color}

\makeatletter
\newcommand{\ogeneric}[2][0.7]{%
  \vphantom{\oplus}\mathpalette\o@generic{{#1}{#2}}%
}
\newcommand{\o@generic}[2]{\o@@generic#1#2}
\newcommand{\o@@generic}[3]{%
  \begingroup
  \sbox\z@{$\m@th#1\oplus$}%
  \dimen@=\dimexpr\ht\z@+\dp\z@\relax
  \savebox\tw@[\totalheight]{$\m@th#1\bigcirc$}%
  \makebox[\wd\z@]{%
    \ooalign{%
      $#1\vcenter{\hbox{\resizebox{\dimen@}{!}{\usebox\tw@}}}$\cr
      \hidewidth
      $#1\vcenter{\hbox{\resizebox{#2\dimen@}{!}{$#1\vphantom{\oplus}{#3}$}}}$%
      \hidewidth
      \cr
    }%
  }%
  \endgroup
}
\makeatother

\newcommand{\ole}{\mathrel{\ogeneric{<}}}
\newcommand{\oleq}{\mathrel{\ogeneric[0.6]{\leq}}}

\begin{document}

\begin{align*}
c\cdot x + y &\leq z\\
c\odot x\oplus y &\oleq z \\
c\odot x\oplus y &\ole z \\
\mbox{\textcolor{red}{$\oplus$}\llap{$\ole$}
$\oplus$\llap{\textcolor{red}{$\ole$}}}
\end{align*}

\end{document}

请注意，color只是为了将最后一行\ole叠加起来\oplus才能看到它们匹配。

定义的符号也可以用于下标和上标，并且可以正确缩放。

Answer 2

你当然可以通过多种方式来实现这一点，其中之一就是 Ti钾Z. 加载时间钾仅使用 Z 可能有点过头，但如果您想构建更多此类符号，这可能是最简单的方法之一。

\documentclass{amsart}
\usepackage{tikz}
\begin{document}
\begin{align*}
c\cdot x + y &\leq z\\
c\odot x\oplus y &\tikz[baseline=(X.base)]{\node[circle,draw,inner
sep=1pt](X){$\leq$};} z
\end{align*}
\end{document}

Answer 3

为了回答你上一条评论中的问题，这里有一个简单的方法pstricks。但是我不确定缩放看起来会不会很好看，因为带圆圈的符号不会与其他符号对齐。无论如何，我在以下代码中展示了一些可能的变体：

\documentclass{amsart}
\usepackage{amssymb}
\usepackage{pstricks, auto-pst-pdf}

\begin{document}


\begin{align*}
c\cdot x + y &\leq z\\
c\odot x\oplus y &\mathrel{\pscirclebox[framesep=-0.7pt, linewidth=0.4pt]{\leq}} z \\
c\odot x\oplus y &\mathrel{\pscirclebox[framesep=-0.7pt, linewidth=0.4pt]{\leqslant}} z \\
c\odot x\oplus y &\mathrel{\pscirclebox[framesep=-0.7pt, linewidth=0.4pt]{\leqslant\mkern2mu}} z
\end{align*}

\begin{align*}
c\cdot x + y &\leq z\\
c\odot x\oplus y &\mathrel{\psscalebox{0.67}{\pscirclebox[framesep=-0.7pt, linewidth=0.4pt]{\leq}}} z \\
c\odot x\oplus y &\mathrel{\psscalebox{0.67}{\pscirclebox[framesep=-0.7pt, linewidth=0.4pt]{\leqslant}}} z \\
c\odot x\oplus y &\mathrel{\psscalebox{0.67}{\pscirclebox[framesep=-0.7pt, linewidth=0.4pt]{\leqslant\mkern2mu}}} z
\end{align*}

\end{document}