# I need to use a symbol like this |---| with a continuous line between the two vertical ones

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 Answers

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}

• Well...this is the better answer :) – Dr. Manuel Kuehner Apr 5 '17 at 15:11
• Really nice answer. just in case. It is a clever way to shorter the vertical lines? – heracho Apr 5 '17 at 15:44
• @herito Added a version with shorter bars. – egreg Apr 5 '17 at 15:52
• Great. I found that \leftfootline with your previous strategy could also do the trick – heracho Apr 5 '17 at 16:09
• @herito Be careful, though: \usepackage{MnSymbol} changes all math symbols in a way that is usually incompatible with the text font. – egreg Apr 5 '17 at 16:12

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}