I can't find this symbol used to indicate the disjoint sharp operator.
It's a # inside a circle. Is this symbol available in LaTex? if not, how can I draw it inside a mathematical equation?
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It only takes a minute to sign up.
Sign up to join this communityI can't find this symbol used to indicate the disjoint sharp operator.
It's a # inside a circle. Is this symbol available in LaTex? if not, how can I draw it inside a mathematical equation?
You can use a scaled up version of \bigcirc
and \ooalign
:
\documentclass{article}
\usepackage{amsmath,graphicx}
\makeatletter
\newcommand{\makecircled}[2][\mathord]{#1{\mathpalette\make@circled{#2}}}
\newcommand{\make@circled}[2]{%
\begingroup\m@th
\vphantom{\biggercirc{#1}}%
\ooalign{$#1\biggercirc{#1}$\cr\hidewidth$#1#2$\hidewidth\cr}%
\endgroup
}
\newcommand{\biggercirc}[1]{%
\vcenter{\hbox{\scalebox{1.4}{$\m@th#1\bigcirc$}}}%
}
\makeatother
\newcommand{\disjointsharp}{\makecircled[\mathbin]{\#}}
\begin{document}
$A\disjointsharp B_{A\disjointsharp B}$
\end{document}
I used \mathbin
but it could be \mathrel
depending on the meaning.
See https://tex.stackexchange.com/a/22375/4427 for a quick course on \ooalign
.
With a smaller circle
\documentclass{article}
\usepackage{amsmath,graphicx}
\makeatletter
\newcommand{\makecircled}[2][\mathord]{#1{\mathpalette\make@circled{#2}}}
\newcommand{\make@circled}[2]{%
\begingroup\m@th
\vphantom{\bigcirc}%
\ooalign{$#1\bigcirc$\cr\hidewidth$#1\make@smaller{#1}{#2}$\hidewidth\cr}%
\endgroup
}
\newcommand{\make@smaller}[2]{%
\vcenter{\hbox{\scalebox{0.7}{$\m@th#1#2$}}}%
}
\makeatother
\newcommand{\disjointsharp}{\makecircled[\mathbin]{\#}}
\begin{document}
$A\disjointsharp B_{A\disjointsharp B}$
\end{document}
When symbols are “bigger”, they are usually centered with respect to the formula axis.
Another possibility:
\documentclass{article}
\usepackage{amsmath,graphicx}
\makeatletter
\newcommand{\makecircled}[2][\mathord]{#1{\mathpalette\make@circled{#2}}}
\newcommand{\make@circled}[2]{%
\begingroup\m@th
\sbox\z@{$#1A$}%
\sbox\tw@{%
\raisebox{\depth}{%
\vphantom{$#1A$}%
\ooalign{%
\hidewidth$#1\make@smaller{#1}{#2}$\hidewidth\cr
$#1\bigcirc$\cr
}%
}%
}%
\resizebox{!}{\ht\z@}{\box\tw@}%
\endgroup
}
\newcommand{\make@smaller}[2]{%
\vcenter{\hbox{\scalebox{0.7}{$\m@th#1#2$}}}%
}
\makeatother
\newcommand{\disjointsharp}{\makecircled[\mathbin]{\#}}
\begin{document}
$A\disjointsharp B_{A\disjointsharp B}$
\end{document}
You can use TikZ to draw a circle node with a #
inside. Using \DeclareMathOperator
from amsmath
improves the spacing. The character should be a bit smaller than the current font, which you can do using \smaller
from the relsize
package, to make sure it works in different fontsizes.
MWE:
\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz}
\usepackage{relsize}
\DeclareMathOperator{\chash}{\tikz{\node[circle,draw,inner sep=0,outer sep=0]{\smaller[3]\#}}}
\begin{document}
$A\chash B$
\Huge$A\chash B$
\end{document}
Result:
Here is a possibility with stackengine
and the \bigovoid
symbol from mathabx
(without replacing the default maths fonts with the mathabx fonts):
\documentclass{article}
\usepackage{amsmath}
\DeclareFontFamily{U}{mathx}{\hyphenchar\font45}
\DeclareFontShape{U}{mathx}{m}{n}{%
<-6> mathx5
<6-7> mathx6
<7-8> mathx7
<8-9> mathx8
<9-10> mathx9
<10-12> mathx10
<12-> mathx12
}{}
\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}
\DeclareFontSubstitution{U}{mathx}{m}{n}
\DeclareMathSymbol{\bigovoid}{\mathop}{mathx}{"EC}
\usepackage{stackengine}
\newcommand{\Otag}{\mathbin{\stackMath\stackinset{c}{}{c}{}{\#}{\bigovoid}}}
\begin{document}
\[A \Otag B = C \]
\end{document}
I have created your symbol with a combination of packages. Excuse me for the complicated code. The symbol has the name \disj
. It is a variable name that you can change. Here is my MWE:
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{MnSymbol,scalerel}
\newcommand{\disj}{\mathrel{{\bigcircle}\mkern-4mu\raise.3ex\llap{$\scaleobj{.6}{\#}$}}}
\begin{document}
$A\disj B=C$
\end{document}