CPL-0.2.0: doc-images/terminal-object.tex

\documentclass{standalone}
\usepackage{amssymb}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
  \mathbf{1} \\
  X \arrow[u, dashed, "!"]
\end{tikzcd}
\end{document}