dela
9f635d358b
A third sibling toolkit: rewrite steps, justification rails, cancel/substitute highlights, and lint-on-warning builds.
16 lines
324 B
TeX
16 lines
324 B
TeX
\documentclass[border=10pt]{standalone}
|
|
\usepackage[en]{superderive}
|
|
\begin{document}
|
|
\begin{tikzpicture}
|
|
\sdstage{S}{smoke}
|
|
\sdrow{R1}
|
|
\sdbox{a}{x}
|
|
\sdsubst{b}{x}{y}
|
|
\sdcancel{c}{z}
|
|
\sdrowend
|
|
\sdbbox{all}
|
|
\sdtopformula{F}{$x\to y$}
|
|
\sdmeaningbox{mb}{80mm}{all}{idea}{rewrite}{caveat}
|
|
\end{tikzpicture}
|
|
\end{document}
|