我需要使用像这样的符号 |---|，在两个垂直线之间有一条连续的线

Question

我需要一个符号来在我的文本中引用某些图中使用的连接。我需要一些类似于 的东西\vdashv。

Answer 1

您可以加入\vdash并\dashv：

\documentclass{article}

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

\begin{document}

$A \vdashv B$

\end{document}

如果你需要一个更短的符号，

\documentclass{article}

\newcommand{\vdashv}{%
  \vdash\mathrel{\mkern-9mu}\dashv
}

\begin{document}

$A \vdashv B$

\end{document}

这是最大备份量。备份量\joinrel为 -3mu。

使用较短的垂直条实现不同的效果：

\documentclass{article}
\usepackage{stmaryrd}

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

\begin{document}

$A \connection B$

\end{document}

Answer 2

我是不是非常认真……

\documentclass{standalone}

\usepackage{rotating}

\begin{document}

\rotatebox[origin=c]{180}{$\dashv$}$\!\dashv$

\end{document}

不如图​​像导出那么好

Adobe Reader 效果更佳

没有运气解毒

---

更新

\reflectbox（镜像符号）从graphicx包装中做得更好。

\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}