次の MWE の 3 つの 2 項関係記号について考えます。
\documentclass[]{article}
\usepackage{MnSymbol}
\begin{document}
$\vdash$
$\Vdash$
$\Vvdash$
\end{document}
最後の 2 つの関係記号の縦棒の間のスペースを閉じるにはどうすればよいでしょうか。そうすれば、2 番目では水平線が長方形から突き出ており、3 番目では 2 つの整列した長方形から突き出ていることになります。最初の 2 項関係記号の縦棒に水平線を配置して、左端の縦棒のない新しく形成された 2 番目の関係記号のようにするにはどうすればよいでしょうか。
ソリューションが調整を可能にする場合は便利です。
以下は、私が説明しようとしていることを示唆する素人っぽい絵への Dropbox リンクです。
https://www.dropbox.com/s/xbujdv3cqwy9u5q/20150731_004151.jpg?dl=0
答え1
これは、あなたの望むことですか?
\documentclass[]{article}
\usepackage{MnSymbol}
\usepackage{pict2e}
\makeatletter
\DeclareRobustCommand{\cvdash}{%
\mathrel{\mathpalette\cvd@sh\relax}
}
\newcommand{\cvd@sh}[2]{%
\sbox\z@{$\m@th#1\vdash$}%
\setlength{\unitlength}{1.1\wd\z@}%
\begin{picture}(1,0.75)
\roundcap\roundjoin
\polyline(0.125,0)(0.4,0)(0.4,0.75)(0.125,0.75)
\polyline(0.4,0.375)(0.925,0.375)
\end{picture}%
}
\DeclareRobustCommand{\cVdash}{%
\mathrel{\mathpalette\cVd@sh\relax}
}
\newcommand{\cVd@sh}[2]{%
\sbox\z@{$\m@th#1\vdash$}%
\setlength{\unitlength}{1.1\wd\z@}%
\begin{picture}(1,0.75)
\roundcap\roundjoin
\polyline(0.125,0)(0.4,0)(0.4,0.75)(0.125,0.75)(0.125,0)
\polyline(0.4,0.375)(0.925,0.375)
\end{picture}%
}
\DeclareRobustCommand{\cVvdash}{%
\mathrel{\mathpalette\cVvd@sh\relax}%
}
\newcommand{\cVvd@sh}[2]{%
\sbox\z@{$\m@th#1\vdash$}%
\setlength{\unitlength}{1.1\wd\z@}%
\begin{picture}(1,0.75)
\roundcap\roundjoin
\polyline(0.125,0)(0.55,0)(0.55,0.75)(0.125,0.75)(0.125,0)
\polyline(.3375,0)(.3375,0.75)
\polyline(0.6,0.375)(0.925,0.375)
\end{picture}%
}
\makeatother
\begin{document}
$\vdash\cvdash$
$\Vdash\cVdash$
$\Vvdash\cVvdash$
\end{document}
答え2
以下はパッケージに基づいたバージョンですturnstile
。左側は質問で使用した 3 つのターンスタイル ゲートの標準バージョンです。右側はパッケージの\makever
コマンドの修正バージョンを使用したバージョンです。
\documentclass{article}
\usepackage{turnstile,calc}
\newcommand\mysststile{% single vertical with fins pointing backwards
\let\oldmakever\makever
\let\makever\mymakever
\sststile{}{}%
\let\makever\oldmakever}
\newcommand\mydststile{% double turnstile with closed top
\let\oldmakever\makever
\let\makever\mymakever
\dststile{}{}%
\let\makever\oldmakever}
\newcommand\mytststile{% triple turnstile with closed top
\let\oldmakever\makever
\let\makever\mymakever
\tststile{}{}%
\let\makever\oldmakever}
\newcommand{\mymakever}[4]
{% modified from \makever command
\setlength\fboxsep{0pt}%
\setlength\fboxrule{#2}%
\ifthenelse{\equal{#1}{s}}{%
\rule[.5#3-\fboxrule]{#4}{#2}%
\hspace*{-2\fboxrule}%
\makebox[\fboxrule]{\rule[-.5#3]{#4}{#2}}%
\rule[-0.5#3]{#2}{#3}%
}{}
\ifthenelse{\equal{#1}{d}}{\fbox{%
\rule[-0.5#3+\fboxrule]{0pt}{#3-2\fboxrule}%
\hspace{#4}%
\rule[-0.5#3+\fboxrule]{0pt}{#3-2\fboxrule}%
}}{}
\ifthenelse{\equal{#1}{t}}{\fbox{%
\rule[-0.5#3+\fboxrule]{0pt}{#3-2\fboxrule}%
\hspace{#4}%
\rule[-0.5#3+\fboxrule]{#2}{#3-2\fboxrule}%
\hspace{#4}%
\rule[-0.5#3+\fboxrule]{0pt}{#3-2\fboxrule}%
}%
}{}%
}
\begin{document}
$\sststile{}{}\; \mysststile$
$\dststile{}{}\; \mydststile$
$\tststile{}{}\; \mytststile$
\end{document}
編集
高さを修正して、修正した回転式改札口の垂直線が、3 つのシンボルすべてについて元の改札口の高さと奥行きと一致するようにし、結果として 3 つの高さも等しくなるようにします。