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.

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

  • 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
  • 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 '17 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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.