design/tpl (Classification System): Adjust always/never figure and use spref
parent
9e8b4d0cb6
commit
7a2f40e455
|
@ -295,7 +295,7 @@ For notational convenience,
|
|||
\end{proof}
|
||||
|
||||
|
||||
\begin{figure}[h]\label{fig:always-never}
|
||||
\begin{figure}[ht]
|
||||
\begin{alignat*}{3}
|
||||
\begin{aligned}
|
||||
\xml{<classify }&\xml{as="always" yields="alwaysTrue"} \xmlnl
|
||||
|
@ -316,9 +316,10 @@ For notational convenience,
|
|||
\end{alignat*}
|
||||
\caption{\tameclass{always} and \tameclass{never} from package
|
||||
\tamepkg{core/base}.}
|
||||
\label{fig:always-never}
|
||||
\end{figure}
|
||||
|
||||
Figure~\ref{fig:always-never} demonstrates \lemref{class-pred-vacu} in the
|
||||
\spref{fig:always-never} demonstrates \lemref{class-pred-vacu} in the
|
||||
definitions of the classifications \tameclass{always} and
|
||||
\tameclass{never}.
|
||||
These classifications are typically referenced directly for clarity rather
|
||||
|
|
Loading…
Reference in New Issue