☰

是否存在一种合理简单的方法来自动生成定义、命题、词元等的唯一标签？

tag-icon • tag-icon indexing overleaf tags
是否存在一种合理简单的方法来自动生成定义、命题、词元等的唯一标签？

特别是，我想知道是否有办法让像我这样的新手独特的和不变类似于标签系统的方式Stacks 项目 自动地分配给我的引理和定理等？我已经看过了格比，但坦白说，我不太明白。另外，我应该指出的是我使用 Overleaf 写作。

如果你感到困惑，这里这就是我所说的“标签系统”。

答案1

也许是这样的。（此示例使用 LuaLaTeX，但基本方法在任何引擎中都相同。）

\documentclass{article}
\usepackage{newcomputermodern}
\usepackage{amsthm}
\usepackage{microtype}
\usepackage[bookmarks,
            colorlinks,
            destlabel,
            unicode]{hyperref}

% You would set the PDF title, author, etc. with package options or
% \hypersetup.

\setmathfont{XITS Math}[
  range = \QED,
  Scale = MatchUppercase ]

\renewcommand\qedsymbol{\ensuremath{\QED}}

\theoremstyle{remark}
\newtheorem*{joketheorem}{Russell’s Remark}

\title{A Remark By Russell on Vacuous Truths}
\date{13 March 2021}

\begin{document}
\maketitle

\begin{abstract}
This paper recounts a clever extemporaneous \hyperref[rem:vacuous]{illustration}
by Bertrand Russell of the concept of vacuous truth.
\end{abstract}

\clearpage

Once, when Bertrand Russell said in a lecture that any proposition whatsoever
follows logically from a false premise, a student asked him, ``If \(1 + 1 = 1\),
does that prove I'm the Pope?"  Russell replied:

\phantomsection % Add an automatically-named link target.
\begin{joketheorem}
\label{rem:vacuous}
If \(1 + 1 = 1\), I am the pope.

\begin{proof}
I am  one.

The Pope is one.

One and one are one.

Therefore, I and the Pope are one.
\end{proof}
\end{joketheorem}

\end{document}

摘要使用相对 URL 链接到文档正文中的定理#rem:vacuous。\ref或\autoref也适用于编号定理。 您也可以给出 URL 类似https://some.edu/~someone/papers/russell.pdf#rem:vacuous。 该destlabel选项使每个链接目标自动以以下标签命名。

如果您想要该文档官方版本的永久链接，您可以将设置baseurl为包选项或者使用\hypersetup。

相关内容