I need a symbol to refer in my text a connection used in some figures.
I need something like it could be expected from a \vdashv.
Asked
Active
Viewed 1,556 times
7
-
http://tex.stackexchange.com/questions/14/how-to-look-up-a-symbol-or-identify-a-math-symbol-or-character – samcarter_is_at_topanswers.xyz Apr 05 '17 at 15:08
-
4H, perhaps in a sans serif font. – Benjamin McKay Apr 05 '17 at 16:24
2 Answers
26
You can join \vdash and \dashv:
\documentclass{article}
\newcommand{\vdashv}{\vdash\joinrel\dashv}
\begin{document}
$A \vdashv B$
\end{document}
If you need a shorter symbol,
\documentclass{article}
\newcommand{\vdashv}{%
\vdash\mathrel{\mkern-9mu}\dashv
}
\begin{document}
$A \vdashv B$
\end{document}
This is the maximum amount of backing up. With \joinrel it is -3mu.
A different realization with shorter vertical bars:
\documentclass{article}
\usepackage{stmaryrd}
\newcommand{\connection}{\mapstochar\relbar\mapsfromchar}
\begin{document}
$A \connection B$
\end{document}
egreg
- 1,121,712
-
-
Really nice answer. just in case. It is a clever way to shorter the vertical lines? – heracho Apr 05 '17 at 15:44
-
-
Great. I found that \leftfootline with your previous strategy could also do the trick – heracho Apr 05 '17 at 16:09
-
2@herito Be careful, though:
\usepackage{MnSymbol}changes all math symbols in a way that is usually incompatible with the text font. – egreg Apr 05 '17 at 16:12 -
Add another pair of curly braces to be able to use these seamlessly in subscript. E.g.
\newcommand{\vdashv}{{\vdash\joinrel\dashv}}– Wouter Jul 29 '20 at 19:40 -
@Wouter No, if you want to preserve its nature of relation symbol. Use
_{\connection}– egreg Jul 29 '20 at 21:00
6
I am not totally serious...
\documentclass{standalone}
\usepackage{rotating}
\begin{document}
\rotatebox[origin=c]{180}{$\dashv$}$\!\dashv$
\end{document}
Not so good as an image export
Better in Adobe Reader
No luck in Detexify
Update
\reflectbox (mirroring a symbol) from the graphicx package does a better job.
\documentclass{standalone}
% \rotatebox
\usepackage{rotating}
% \reflectbox
\usepackage{graphicx}
\begin{document}
\texttt{\textbackslash rotatebox} \rotatebox[origin=c]{180}{$\dashv$}$\!\dashv$
\texttt{\textbackslash reflectbox} \reflectbox{$\dashv$}$\!\dashv$
\end{document}
Dr. Manuel Kuehner
- 22,451