答案1
一旦我排版了 Begriffsschrift,我就必须解决你描述的问题。我将解决方案放在一个名为的包中GF符号 (好吧,这不是最好的名字)你可以在 CTAN 上找到它。它不仅排版了名为“性质 F 在 f 序列中是遗传的”的符号,还可以用来处理 Begriffsschrift 中的所有 Frege 符号。
请查看我在 TUGboat 上的文章:“使用纯 TeX 格式排版 Gottlob Frege 的‘Begriffsschrift’。”
答案2
一个简单的解决方案blkarray
:
\documentclass[a4paper,12pt]{report}
\usepackage[utf8]{inputenc}
\usepackage{fourier}
\usepackage[x11names]{xcolor}
\usepackage{empheq}
\usepackage{blkarray}
\begin{document}
\[
\makeatletter
\BA@colsep=4pt
\makeatother\begin{blockarray}{c(l}
\alpha & F(\alpha )\\
\rule[-1.5ex]{0.8pt}{3.5ex}\\
\delta & f(\delta, \alpha )
\end{blockarray} \]
\end{document}
答案3
答案4
一些简单的解决方案,但存在对齐问题。也许可以与其他解决方案结合起来以改进它。
\documentclass[11pt,a4paper]{report}
\usepackage{amsmath,amssymb,amsfonts}
\DeclareMathOperator*{\foo}{\Big\vert}
\newcommand{\frege}[2]{\foo_{#2}^{#1} \Biggr(_{f(#1,#2)}^{F(#1)}}
\begin{document}
\[ \foo_{\delta}^{\alpha} \Biggr(_{f(\alpha,\delta)}^{F(\alpha)} \]
\[ \frege{\alpha}{\delta} \]
\end{document}