中间有间隙的绝对值条 2024-5-23 • code delimiters 我正在尝试排版一些 Isar 代码,例如在 LaTeX 中(以临时方式)。但是,我找不到类似这个符号的东西 我不知道它叫什么。在 Isabelle 中你可以这样写,但我认为\<bar>LaTeX是另一种东西。\bar 答案1 其含义可能相同,|... |但您可以浏览符号列表(texdoc symbol-a4)以查找类似 textbrokenbar 的内容。 相关内容 关机仅在第二次尝试时关闭[关闭] svn 通过 https/ssl + nginx? 如何控制 \colorbox 的尺寸 在命令中使用 & 是否有一个 Excel 插件可以让我创建调查并直接从 Excel 发送? PPTP 无法连接,错误 628 Apache 服务器端口转发在网络外不起作用 如何删除每个参考书目条目末尾的句号? 平均负载高时自动重启 Apache Windows 10、Microsoft Edge、Microsoft Natural Wireless Ergonomic Keyboard 7000、设置