diff -r 739039774cee -r 94b84d880c2b slides/slides11.tex --- a/slides/slides11.tex Mon Jan 24 00:14:02 2022 +0000 +++ b/slides/slides11.tex Tue Mar 22 00:36:18 2022 +0000 @@ -2,7 +2,7 @@ \usepackage{../slides} \usepackage{../langs} \usepackage{../data} -\usepackage{../graphics} +\usepackage{../graphicss} \usepackage{soul} \usepackage{proof} @@ -10,28 +10,28 @@ \renewcommand{\slidecaption}{CFL, King's College London} \newcommand{\bl}[1]{\textcolor{blue}{#1}} -\newcommand\grid[1]{% - \begin{tikzpicture}[baseline=(char.base)] - \path[use as bounding box] - (0,0) rectangle (1em,1em); - \draw[red!50, fill=red!20] - (0,0) rectangle (1em,1em); - \node[inner sep=1pt,anchor=base west] - (char) at (0em,\gridraiseamount) {#1}; - \end{tikzpicture}} -\newcommand\gridraiseamount{0.12em} +%\newcommand\grid[1]{% +% \begin{tikzpicture}[baseline=(char.base)] +% \path[use as bounding box] +% (0,0) rectangle (1em,1em); +% \draw[red!50, fill=red!20] +% (0,0) rectangle (1em,1em); +% \node[inner sep=1pt,anchor=base west] +% (char) at (0em,\gridraiseamount) {#1}; +% \end{tikzpicture}} +%\newcommand\gridraiseamount{0.12em} -\makeatletter -\newcommand\Grid[1]{% - \@tfor\z:=#1\do{\grid{\z}}} -\makeatother +%\makeatletter +%\newcommand\Grid[1]{% +% \@tfor\z:=#1\do{\grid{\z}}} +%\makeatother -\newcommand\Vspace[1][.3em]{% - \mbox{\kern.06em\vrule height.3ex}% - \vbox{\hrule width#1}% - \hbox{\vrule height.3ex}} +%\newcommand\Vspace[1][.3em]{% +% \mbox{\kern.06em\vrule height.3ex}% +% \vbox{\hrule width#1}% +% \hbox{\vrule height.3ex}} -\def\VS{\Vspace[0.6em]} +%\def\VS{\Vspace[0.6em]} \begin{document}