By contradiction symbol I mean this
This is what I tried
\documentclass{article}
\begin{document}
\[
\Rightarrow\Leftarrow
\]
\end{document}
But there is some space between the head of two arrows.
[Tex/LaTex] How to typeset contradiction symbol
math-mode
Related Solutions
I would use my popular combination of \ooalign and \mathchoice (see here for more):
\documentclass{article}
\makeatletter
\newcommand\x@closefrown[3]{\mathrel{\ooalign{$#1\frown$\cr\kern-#3em\raisebox{-#2ex}{$#1-$}\hfil\cr\hfil\raisebox{-#2ex}{$#1-$}\kern-#3em\cr}}}
\newcommand\closefrown{\mathchoice
{\x@closefrown{\displaystyle}{0.23}{0.02}}%
{\x@closefrown{\textstyle}{0.23}{0.02}}%
{\x@closefrown{\scriptstyle}{0.17}{0.01}}%
{\x@closefrown{\scriptscriptstyle}{0.12}{0.01}}%
}
\newcommand\x@overcf[2]{\overset{\vphantom{x}\smash{\raisebox{-0.3ex}{$#1\closefrown$}}}{#2}}
\newcommand\overcf[1]{\mathpalette\x@overcf{#1}}
\makeatother
\usepackage{mathtools}
\begin{document}
\[ {A\closefrown B}_{{A\closefrown B}_{{A\closefrown B}}} \]
\[ X\overcf{ABC}Y \]
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
\( X\overcf{ABC}Y \)
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
In a text it looks as follows.
\end{document}
I suggest to use logical markup for such typesetting if this is needed a lot of times, say, using a command \equivclass
It is possible to introduce some negative spacing with \!, but this will lead to very narrow spacing between the / and ~ symbols. I don't recommend it. Judge yourself, however.
\documentclass{amsart}
\newcommand{\equivclass}[1]{%
#1/{\sim}%
}
\newcommand{\equivcls}[1]{%
#1/\!{\sim}%
}
\begin{document}
\begin{equation}
\equivclass{X}
\end{equation}
\begin{equation}
\equivcls{X}
\end{equation}
\end{document}
Best Answer
You might add a negativ space
\!which results in no space between the two symbols:As @Rethliopuks noted in the comments, the package
tipadisables the usage of\!in mathmode as negative space. If you use this package (or any other package which disables\!) you might useinstead for the same results (
\mskip-\thinmuskipis the default definition of\!).