turnstile
旋转门箭头位于……xy 包中
继上一个问题之后tikz-cd 中的旋转门箭头，现在我很好奇如何使用left tail该xy包来增加。在文档中我没有找到任何东西。 \documentclass[a4paper,12pt]{article} \usepackage[all,cmtip]{xy} \begin{document} $\xymatrix{A\ar@{|-}[r]^F&B}$ \end{document} ...
turnstile
turnstile
如何定义“vnodash”命令？
我想排版以下序列：A | Γ ⊢ B。我试过了， \documentclass{article} \begin{document} $A \mid \Gamma \vdash B$ \end{document} 但\mid高度比 大得多\vdash。我可以测量旋转门符号的高度并绘制匹配的垂直规则，但我无法从输出 PDF 中复制粘贴公式（而且我不确定厚度和圆角是否匹配）。 我愿意接受使用其他东西的想法\vdash（例如来自turnstile包的命令），只要有一个匹配的垂直条（你可以称之为\vnodash）。 ...
turnstile
tabular：将不同的符号对齐到同一列但不同的行
我拼命地试图在表格环境中对齐出现在同一列但不同行的公式： 所需的结果应该与上图完全一样，只是我需要左列分别按“⊢”或“⊨”对齐。我尝试了所有能找到的解决方案，但都没有真正奏效。如果我对齐公式，标题就会错位，反之亦然。我刚开始使用 LaTeX。有人能帮我吗？ 以下是 MWE： \documentclass[a4paper, fontsize=11pt, headings=optiontohead, headsepline=true, twoside=false]{scrartcl} \usepackage{amssymb} \usepackage{turns...
turnstile
如何格式化旋转栅门以扩展到多行？
我在书中看到一个例子forallx 形式逻辑，其中它通过将旋转栅门扩展到几行来格式化演绎证明，同时在其“臂”的上方和下方有方程式。我想知道在乳胶中如何做到这一点。 ...
turnstile
tikz-cd 中的旋转门箭头
我想\vdash在 tikz-cd 中制作一个“旋转门”即样式箭头。 我可以使用选项来完成此操作[maps to, no head]，但是垂直条似乎太短了： \documentclass{article} \usepackage{tikz-cd} \tikzcdset{arrow style=tikz} \usepackage{tikz} \begin{document} \begin{equation} \begin{tikzcd} A \arrow[r, maps to, no head, "F"] & B \end{tikz...
turnstile
如何在定制旋转闸机周围留出足够的空间？
我使用该包turnstile，但仅用于定义我自己的宏，因为它没有定义否定的旋转门，并且它的旋转门太高了。 我的非负向旋转闸门对我来说看起来不错（没有turnstile定义的那样高）。我的负向旋转闸门看起来不错本身也是，但是周围的间距都错了。 cancel按照描述使用包这里，在我看来是错误的，因为该条跨越了水平条下方或上方的任何文本，而不是仅仅跨越垂直笔划。 一位 MWE 表示： simpleturnstile.sty \RequirePackage{xparse} \RequirePackage{etoolbox} \RequirePack...
turnstile
否定旋转闸门？
我想知道是否有人知道如何使用该包生成否定的旋转门符号。和turnstile的默认选项不行。 我想要与包提供的否定形式相同的选项。$\vdash$$\nvdash$turnstile ...
turnstile
关于如何从旋转闸门包中缩放一些旋转闸门的问题
对问题接受答案的编辑与旋转门包装相匹配的怀疑结果符号让我可以访问下面 MWE 中的前两个旋转门。如果能帮助我按照 MWE 中表达的方式缩放这些旋转门，我将不胜感激。 \documentclass{article} \usepackage{turnstile}% http://ctan.org/pkg/turnstile \usepackage{tikz}% http://ctan.org/pkg/pgf \usepackage{adjustbox}% http://ctan.org/pkg/adjustbox \renewcommand{\make...
turnstile
当内容包含 \sbox{}\usebox{} 时，如何将颜色选项应用于 TikZ 节点的内容？
感谢 Sašo Živanović 帮助我识别问题，该问题是由于我尝试将诸如blue或text=blue等选项应用于森林树木，包括旋转栅门旋转闸门包裹。 通常，如果我将颜色选项应用于blueTikZ 节点，则节点的内容会被着色，无论是文本还是数学。 但是，如果节点包括由旋转闸门包装，则颜色只会影响旋转门前后的内容。旋转门本身不受影响。 如果我使用text=blue，则只有旋转门之前的内容会被着色。旋转门及其之后的内容均不受影响。 然而，在tikzpicture环境之外，旋转栅门以及周围的文字或数学符号都是正常颜色的。 例如， {\color{bl...
turnstile
带有 Mathcal 的旋转门：缺少 \endcsname 插入
我使用turnstile软件包和xparse软件包来高效使用turnstile。但有一次，我不断收到错误消息，我发现这\not{\sdtstile{\mathcal{S}}{}}就是罪魁祸首。 错误信息是 ! Missing \endcsname inserted. <to be read again> \protect l.17 But $\not{\sdtstile{\mathcal{S}}{}} $ causes e...
turnstile
如何减少非单调旋转闸与其下标之间的距离
\documentclass[a4paper,12pt,twoside,openright]{book} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage[german,english,italian]{babel} \newcommand{\nc}{\,\mid\!\sim\,} \begin{document} $A \nc_\mathscr{K} C$ \end{document} 是否有可能更接近\mathscr{K}非单调旋转闸门（\nc）？ ...
turnstile
反向双转闸
我是这个软件包的新手turnstile，我正在试图弄清楚如何获得一个否定的双旋转门标志，就像带有常规的标志一样\nvDash，但这允许我在线上方和下方有参数，就像一样\sdtstile{\mathrm{a}}{b}。 有任何想法吗？ ...
turnstile
与旋转门包装相匹配的怀疑结果符号
这或许可以看作是怀疑后果的象征我从中得到了答案，所以我可以写下乙是一个值得怀疑的结果A例如 哪个Peter Grill 的代码生成。现在假设我使用turnstile包来排版代表逻辑结果的turnstiles，我更喜欢turnstile包的turnstiles而不是\vdash和\vDash，并且我想在同一篇文章中谈论逻辑和怀疑的结果。然后我面临两个问题： 旋转门包中的旋转门与以下答案中的任何表示怀疑结果的符号都不匹配怀疑后果的象征因为旋转闸包的闸机比较大。 旋转闸门包的旋转闸门在旋转闸门下方的符号放置方式方面更为优越。 以下符号表示乙是一个值得...
turnstile
旋转闸机套件
我对 TeX 还不太熟悉，所以我可能忽略了一些简单的东西，但我似乎无法调整该turnstile包生成的旋转门对象的高度。特别是，如果符号显示为下标，它确实不是调整以匹配周围的文本。有人知道解决方案吗？ ...