temp.tex

% Created 2021-01-11 Mo 20:11
% Intended LaTeX compiler: pdflatex
\documentclass[11pt]{article}
\usepackage{xcolor}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{graphicx}
\usepackage{grffile}
\usepackage{longtable}
\usepackage{wrapfig}
\usepackage{rotating}
\usepackage[normalem]{ulem}
\usepackage{amsmath}
\usepackage{textcomp}
\usepackage{amssymb}
\usepackage{capt-of}
\usepackage{hyperref}
\author{nfroleyks@gmail.com}
\date{\today}
\title{}
\hypersetup{
 pdfauthor={Nils Froleyks},
 pdftitle={},
 pdfkeywords={},
 pdfsubject={},
 pdfcreator={Formal Models and Verification - JKU},
 pdflang={English}}
\begin{document}


\def\T{\hbox to 1.5em{\hfill}}
\def\N{\\}
\def\CC#1{&{{\color{black}{// #1}}}}
\def\C#1{\CC{#1} \\}
\def\K#1{\textsf{#1}}
\def\I#1{\mbox{\textrm{#1}}}
\def\L#1{\raise .2ex\hbox{\scriptsize{$#1$}}&}
\begin{minipage}{0.5\textwidth}
  \begin{tabular}{r@{\qquad}l@{\qquad\quad}l}
    %
    \L{ 1} \K{function} \I{sat}          \C{returns}
    \L{ 2} \T \K{while}               \C{while}
    %
  \end{tabular}
\end{minipage}%
\begin{minipage}{0.5\textwidth}
  \begin{tabular}{r@{\qquad}l@{\qquad\quad}l}
    %
    \L{ 1} \K{function} \I{sat}          \C{returns}
    \L{ 2} \T \K{while}               \C{while}
    %
  \end{tabular}
\end{minipage}
\end{document}