☰

浮动对象：在某个地方定义，指定稍后打印的位置

tag-icon • tag-icon tables floats positioning
浮动对象：在某个地方定义，指定稍后打印的位置

我正在使用一个可以混合 TeX 和形式定义的系统，它有一个生成乳胶的过程，结合了我的 TeX 和形式定义。我发现我可以将形式定义包装在图形或表格中，并使它们浮动在页面上。

是否有任何包可以让我在一处使用如下构造函数来定义图形：

\figuredefinition[1]{
....
}

稍后我可以在文档中使用类似

\printfigure[1]

这将允许我

  • 使浮动对象（图形/表格）在文档中精确定位；
  • 在这些数字出现的位置添加文字
  • 介绍包裹按照系统接受的顺序列出正式定义（Isabelle/HOL），并将这些定义打印在更适合人类使用的地方。

关于我可以使用什么来实现此功能，有什么建议吗？

非常感谢，

迭戈·迪亚斯

答案1

像这样？

\documentclass{article}

\usepackage{tikz}
\usepackage{lipsum}

\newsavebox\pickie


\begin{document}

\savebox{\pickie}{\begin{tikzpicture} \draw[fill] (0,0) circle(15mm);\end{tikzpicture}}


\lipsum

\begin{figure}[h!]
\usebox{\pickie}
\caption{This is not much of a picture}
\end{figure}

\lipsum

\end{document}

相关内容