中间有间隙的绝对值条

Question

我正在尝试排版一些 Isar 代码，例如在 LaTeX 中（以临时方式）。但是，我找不到类似这个符号的东西 我不知道它叫什么。在 Isabelle 中你可以这样写，但我认为\<bar>LaTeX是另一种东西。\bar

Answer 1

其含义可能相同，|... |但您可以浏览符号列表（texdoc symbol-a4）以查找类似 textbrokenbar 的内容。