dela
9f635d358b
A third sibling toolkit: rewrite steps, justification rails, cancel/substitute highlights, and lint-on-warning builds.
8 lines
155 B
TeX
8 lines
155 B
TeX
\usepackage[en]{superderive}
|
|
\begin{document}\begin{tikzpicture}
|
|
\sdtopformula{F}{$x$}
|
|
\sdrow{R1}
|
|
\sdbox{a}{x}
|
|
\sdrowend
|
|
\end{tikzpicture}\end{document}
|