Tabellenrahmen mit Doppellinie am Kopf, unterbrochen vom Text
Angenommen, wir wollen so etwas setzen:
[![alt text][1]][1]
(Tut mir Leid für die Skalierung; ich weiß nicht, wie man das Bild an die Breite anpasst. Ein Rechtsklick liefert das ganze Bild.)
Wie setzt man so etwas? Versuche von mir und Rainer findet man in https://latex.org/forum/viewtopic.php?f=44&t=33047&p=111088#p111088, allerdings ist meine Variante fürs Klo, und bei Rainers Variante ist die Doppellinie oben nicht mit dem Rest des Tabellenrahmens verbunden. Diese Lösung ist als erste unten wiedergegeben; direkt daran sind unterschiedliche Versuche für `{xe|lua}latex` und `pdflatex` angehängt, allesamt ganz klar alte Kacke:
\RequirePackage{ifthen}
\RequirePackage{ifxetex,ifluatex}
\newif\ifxetexorluatex
\ifxetex
\xetexorluatextrue
\else
\ifluatex
\xetexorluatextrue
\else
\xetexorluatexfalse
\fi
\fi
\documentclass{article}
\usepackage[USenglish,ngerman]{babel}%%% The main language is German
\usepackage{lipsum}
\pagestyle{empty}
\newlength\drulesep% separation between the two lines of adouble rule
\newlength\druleshift% distance for lower rule of a double rule to baseline
\newlength\druleweight% thickness for each line of a double rule
\setlength\drulesep{0.5ex}
\setlength\druleshift{1pt}
\setlength\druleweight{0.4pt}
\newcommand*\drule[1]{% double rule
\makebox[0pt][l]{\raisebox{\dimexpr\druleshift+\druleweight+\drulesep}{\rule{#1}{\druleweight}}}%
\raisebox{\druleshift}{\rule{#1}{\druleweight}}%
}
\newcommand*\drulefill{% double rule fill
\leaders\hbox{\drule{0.1em}}\hfill\kern0pt%
}
\ifxetexorluatex
\usepackage{unicode-math}
\usepackage{dejavu-otf}
\fi
\begin{document}
\lipsum[1]
\noindent%
\drule{2em}\textsf{TII3}\drulefill\foreignlanguage{USenglish}{timed}\drule{2em}\strut\\
\begin{tabular}{|p{\dimexpr\textwidth-2\tabcolsep}|}
\begin{tabular}{@{}l@{\ \ }l@{}l@{\ }l@{}}
\textsf{\textbf{in}} &\(z'\)&\(\colon\)&\textsf{T3}\\
\textsf{\textbf{out}} &\(z\)&\(\colon\)&\textsf{T3}
\end{tabular}\\
\hline\\[-2.2ex]
\(\bar{z} = \bar{z'}\)\\
\hline
\end{tabular}
\noindent\texttt{%
\ifxetex%
╒═══TII3════════════════════════════════════════════timed═══╕\\
│ \textsf{\textbf{in}} \(z'\colon\mathsf{T3}\)\hskip26.74em│\\
│ \textsf{\textbf{out}} \(z\colon\mathsf{T3}\)\hskip26.26em│\\
├───────────────────────────────────────────────────────────┤\\
│ \(\bar{z} = \bar{z'}\)\hskip27.89em│\\
└───────────────────────────────────────────────────────────┘%
\else%
\ifluatex%
╒═══TII3════════════════════════════════════════════timed═══╕\\
│ \textsf{\textbf{in}} \(z'\colon\mathsf{T3}\)\hskip29.75em│\\
│ \textsf{\textbf{out}} \(z\colon\mathsf{T3}\)\hskip29.2em│\\
├───────────────────────────────────────────────────────────┤\\
│ \(\bar{z} = \bar{z'}\)\hskip31.05em│\\
└───────────────────────────────────────────────────────────┘%
\else%
+===TII3============================================timed===+\\
| \textsf{\textbf{in}} \(z'\colon\mathsf{T3}\)\hskip25.42em|\\
| \textsf{\textbf{out}} \(z\colon\mathsf{T3}\)\hskip25.03em|\\
+-----------------------------------------------------------+\\
| \(\bar{z} = \bar{z'}\)\hskip26.5em|\\
+-----------------------------------------------------------+%
\fi\fi}\\
\lipsum[2]
\end{document}
Fällt jemand eine Lösung ein, die mit jedem der drei Compiler funktioniert und dabei bessere Ergebnisse liefert?
[1]: https://latex.org/forum/download/file.php?id=10979