A circled inequality relation symbol similar to the circled arithmetic operators
We can make the circle match the \oplus
one by suitable scaling.
The symbol to be circled has to be scaled depending on its size, so \ogeneric
provides for an optional argument (default 0.7
that seems good for <
).
\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}
Note that color
is just for the last line where \ole
is superimposed to \oplus
in order to see they match.
The defined symbols can be used also in subscripts and superscripts and they scale properly.
You can certainly do this in many ways, one of them is TikZ. Loading TikZ only for that may be a bit of an overkill, but if you want to construct more symbols of this sort, this might be one of the easiest ways to go.
\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}
To answer your question in your last comment, here is an easy way with pstricks
. However I'm not sure scaling will look so nice, as the circled symbols won't be aligned with the other symbols. Anyway, I show in the following code some possible variants:
\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}