diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index af5549de..773b745a 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -174,6 +174,9 @@ \newcommand{\subsubsectionhidden}[1]{\Ssubsubsection{#1}{#1}} \newcommand{\subsubsubsectionhidden}[1]{\Ssubsubsubsection{#1}{#1}} +% Generated by `subsubsub*section': +\newcommand{\SSubSubSubSection}[1]{\Ssubsubsubsubsectionhidden{#1}} + % For hidden parts with an empty title: \newcommand{\notitlesection}{\vspace{2ex}\phantomsection\noindent}