Infimal convolution symbols across the Internet vary, so this one is taken from Wikipedia:
\documentclass{article}
\usepackage{amsmath,amssymb}% http://ctan.org/pkg/{amsmath,amssymb}
\DeclareMathOperator{\iconv}{\mathbin{\star_{\text{inf}}}}%
\begin{document}
\[ (f\iconv g)(x) = \inf\{f(x-y)+g(y)\,\vert\,y\in\mathbb{R}^n\} \]
\end{document}
Here's another one taken from this source:
\documentclass{article}
\usepackage{amsmath,amssymb}% http://ctan.org/pkg/{amsmath,amssymb}
\usepackage{graphicx}% http://ctan.org/pkg/graphicx
\DeclareMathOperator{\iconv}{%
\mathbin{\ooalign{\raisebox{-.5ex}{$\vee$}\cr\hidewidth\raisebox{.5ex}{\scalebox{.7}{+}}\hidewidth}}}%
\begin{document}
\[ (f\iconv g)(x) = \inf\{f(x-y)+g(y)\,\vert\,y\in\mathbb{R}^n\} \]
\end{document}
Or, create it yourself (from the above, and therefore does not require graphicx
):
\documentclass{article}
\usepackage{amsmath,amssymb}% http://ctan.org/pkg/{amsmath,amssymb}
\DeclareMathOperator{\iconv}{%
\mathbin{\ooalign{\raisebox{-.5ex}{$\triangledown$}\cr\hidewidth\rule[.3ex]{.4pt}{1ex}\hidewidth}}}%
\begin{document}
\[ (f\iconv g)(x) = \inf\{f(x-y)+g(y)\,\vert\,y\in\mathbb{R}^n\} \]
\end{document}
If you're going to use these symbols in super-/subscripts, then more works needs to be done. The use of \ooalign
for symbol construction is discussed in \subseteq
+ \circ
as a single symbol (“open subset”).
Well for "Symbols" there is tikzsymbols
:
You can use TikZ as well:
\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{shapes.misc}
\newcommand*\circled[1]{{\scriptsize\tikz[baseline=(char.base)]{
\node[shape=circle, draw, inner sep=1pt, align=center] (char) {#1};}}}
\usepackage{tikzsymbols}
\begin{document}
Something like that \circled{E} or like {%
\protect\begin{tikzpicture}[scale=.17]
\protect\draw (0,0) -- (.5,1);
\protect\draw (.5,1) -- (1.5,1);
\protect\draw (1.5,1) -- (1,0);
\protect\draw (1,0) -- (0,0);
\protect\end{tikzpicture}%
}%
\,that? Or like that \tikzsymbolsuse{Smiley}[]?
\end{document}
Best Answer
I assume package
amsmath
is loaded (e.g. needed for\iff
).\implies
,\impliedby
, and\iff
adds a surrounding space of\;
, that is space of the amount\thickmuskip
. Macro\HalfThickmuskip
uses the half of\;
.\implies
,\impliedby
are composed of the arrow with the equals sign. Macro\HalfRelbar
uses the same equals sign, but the width is scaled by factor 0.5.\joinrel
fixes the side bearings (horizontal space surrounding the glyph shape) and is adjusted to the smaller side bearings of the scaled equals sign in macro\PartJoinrel
.The case of
\iff
is different, because it is composed by the two arrows that cannot be scaled without affecting the arrow tips. Here the half width of the equals sign is subtracted.As assumed, package
accsupp
is used to get a better Unicode representation of the glyph constructs.