Here is what I tried so far:
Code: Select all
\documentclass{article}
\usepackage[USenglish,ngerman]{babel}%%% The main language is German
\usepackage{tabularx}
\usepackage{lipsum}
\usepackage{calc}
\usepackage{hhline}
\pagestyle{empty}
\begin{document}
\lipsum[1]\\
\noindent%
====\textsf{TII3}\leaders\hbox{=}\hfill\foreignlanguage{USenglish}{timed}====\strut\\
\begin{tabular}{@{}|p{\textwidth-1.35em}|@{}}
% \hhline{|=|}\\[-2.6ex]%%% Well, we need some text inside the double ruler.
\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}\\\\
\lipsum[2]
\end{document}
╒═══TII3════...════timed═══╕
using a double ruler in the style of hhline, i.e., such that it attaches to the vertical lines of the table, and such that it doesn't look as if it were typed on a 1950's typewriter? Of course, one can use {xe|lua}latex and Unicode box drawings characters, but it would not work with pdflatex, and one would have to use a monospace alphabet and drop tabular anyway.
2. Any idea how to get rid of the ad-hoc width 1.35 em of the rulers and replace it by something automatically computed?
Thx in advance.