7

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.

2

2 Answers 2

26

You can join \vdash and \dashv:

\documentclass{article}

\newcommand{\vdashv}{\vdash\joinrel\dashv}

\begin{document}

$A \vdashv B$

\end{document}

enter image description here

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.

enter image description here

A different realization with shorter vertical bars:

\documentclass{article}
\usepackage{stmaryrd}

\newcommand{\connection}{\mapstochar\relbar\mapsfromchar}

\begin{document}

$A \connection B$

\end{document}

enter image description here

7
  • Well...this is the better answer :) Apr 5, 2017 at 15:11
  • Really nice answer. just in case. It is a clever way to shorter the vertical lines?
    – heracho
    Apr 5, 2017 at 15:44
  • @herito Added a version with shorter bars.
    – egreg
    Apr 5, 2017 at 15:52
  • Great. I found that \leftfootline with your previous strategy could also do the trick
    – heracho
    Apr 5, 2017 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 5, 2017 at 16:12
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

enter image description here

Better in Adobe Reader

enter image description here

No luck in Detexify

enter image description here


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}

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .