0

I have a table with 2x5 size. I have used the tabular environment to define it. I just want that the titles (the first both cells) should be centered but the rest of the table should be left-justified.

\documentclass[a4paper, %Papiergröße
    12pt,             %Schriftgröße
    headsepline,   %Linie zwischen Text und Kopfzeile
    twoside,       %zweiseitiges Layout
    BCOR18mm,      %Binderand von 18mm
    DIV14,         %14x14 Streifen pro Seite
    dvipsnames,
    cmyk]{scrreprt}
\usepackage{tabstackengine,amssymb}
\usepackage{tikz}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{tabularx}
\usepackage{booktabs}
\usetikzlibrary{tikzmark,calc}
\stackMath
\newcommand{\myq}{\,\,\,}
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newlength\replength
\newcommand\ruleht{0pt}% ELEVATION OF RULE
\newcommand\repfrac{.6}% SOLID FRACTION OF DASH LINE [0->1] (USE 1 FOR SOLID)
\replength=.2em\relax% PERIOD OF DASHED RULE
\newcommand\rulewidth{.4pt}% THICKNESS OF RULE
\newcommand\drulefill{\leavevmode\dashfill\hfil%
  \kern\dimexpr\repfrac\replength-\replength\relax}
\newcommand\dashfill[1][\repfrac]{\cleaders\hbox to \replength{%
  \smash{\rule[\ruleht]{\repfrac\replength}{\rulewidth}}}\hfill}
\newcommand\udash[2][\hrulefill]{%
  \setbox0=\hbox{\stackon{\kern.7em}{\,#2\,}}%
  \stackunder{#2}{\makebox[\wd0]{#1}}}
\newcommand\uddash[1]{\udash[\drulefill]{#1}}
\newcommand\mygap{\hspace{.7em}}
\begin{document}

\begin{center}
\setlength\arrayrulewidth{1pt}
\begin{tabular}{c|c}
    $\rho_r : (\forall X_r)$ $p_r[ \tabbedShortunderstack{\udash{L_r}\\R_r} ]$ & $\rho_\omega : (\forall X_\omega)$ $p_\omega[ \tabbedShortunderstack{\udash{L_\omega}\\R_\omega} ]$  \\
    \hline
    $X_r=\{x,i,k,\sigma\}$ & $X_\omega=\{x,i,i',k,\sigma\}$  \\
    $W_r=\{\Box\}$ & $W_\omega=\{\Box_1,\Box_2\}$  \\
    $p_r=\langle\Box\curvearrowright k\rangle_k \langle\sigma\,x\mapsto i\rangle_{state}$ & $p_\omega=\langle\Box_1\curvearrowright k\rangle_k \langle\sigma\,x\mapsto \Box_1\rangle_{state}$  \\
    $L_r(\Box)=x$ & $L(\Box_1)=x=i'$; und $L(\Box_2)=i$  \\
    $R_r(\Box)=i$ & $R(\Box_1)=\cdot$ und $R(\Box_2)=i'$  \\
\end{tabular}
\end{center}
\end{document}

This is what I get: enter image description here

The rest after the vertical line should be left-justified. How can I realize that?

Thanks!

1
  • 1
    Please consider removing all unrelated packages to make your post upvotable.
    – user121799
    Commented Nov 5, 2018 at 15:19

1 Answer 1

1

You could (ab)use \multicolumn for that. That is, you do a "multi"column of 1 column, in which you choose c for the alignment, while the overall alignment is l. I also removed packages and commands that are not used here.

\documentclass[a4paper, %Papiergröße
    12pt,             %Schriftgröße
    headsepline,   %Linie zwischen Text und Kopfzeile
    twoside,       %zweiseitiges Layout
    BCOR18mm,      %Binderand von 18mm
    DIV14,         %14x14 Streifen pro Seite
    dvipsnames,
    cmyk]{scrreprt}
\usepackage{tabstackengine}
\usepackage{amsmath,amssymb}
\stackMath
\newcommand\udash[2][\hrulefill]{%
  \setbox0=\hbox{\stackon{\kern.7em}{\,#2\,}}%
  \stackunder{#2}{\makebox[\wd0]{#1}}}
\begin{document}

\begin{center}
\setlength\arrayrulewidth{1pt}
\begin{tabular}{l|l}
    \multicolumn{1}{c|}{$\rho_r : (\forall X_r)$ $p_r[
    \tabbedShortunderstack{\udash{L_r}\\R_r} ]$} & 
    \multicolumn{1}{c}{$\rho_\omega : (\forall X_\omega)$ $p_\omega[
    \tabbedShortunderstack{\udash{L_\omega}\\R_\omega} ]$}  \\
    \hline
    $X_r=\{x,i,k,\sigma\}$ & $X_\omega=\{x,i,i',k,\sigma\}$  \\
    $W_r=\{\Box\}$ & $W_\omega=\{\Box_1,\Box_2\}$  \\
    $p_r=\langle\Box\curvearrowright k\rangle_k \langle\sigma\,x\mapsto i\rangle_{state}$ & $p_\omega=\langle\Box_1\curvearrowright k\rangle_k \langle\sigma\,x\mapsto \Box_1\rangle_{state}$  \\
    $L_r(\Box)=x$ & $L(\Box_1)=x=i'$; und $L(\Box_2)=i$  \\
    $R_r(\Box)=i$ & $R(\Box_1)=\cdot$ und $R(\Box_2)=i'$  \\
\end{tabular}
\end{center}
\end{document}

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .