弗雷格對 Begriffsschrift 第三部分的表示法

Question

我知道有幾個軟體包可以幫助人們展示弗雷格的符號，重點是在算術基本定律（算術基本法)：begriff、fge、grundgesetze。然而，似乎這些都沒有處理他為第三部分開發的符號摘要文本（然後被遺棄基本法）。我試圖找出佈局如下所示內容的最佳方法可能是什麼：

有什麼建議嗎？

Answer 1

一旦我排版了 Begriffsschrift，我也必須解決你所描述的問題。我將我的解決方案放在一個名為的包中GF表示法 （好吧，這不是最好的名字）你可以在 CTAN 上找到它。它不僅排版了稱為「性質 F 在 f 序列中是遺傳的」符號，而且可以用於處理 Begriffsschrift 中的所有弗雷格符號。

看看我在 TUGboat 上的文章：“用純 TeX 排版 Gottlob Frege 的‘Begriffsschrift’。”

Answer 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} 

Answer 3

疊起來！

\documentclass{article}
\usepackage[usestackEOL]{stackengine}
\stackMath
\begin{document}
\[
\Centerstack{\alpha \\ \vert\\ \delta}
\biggl(
\Centerstack[l]{F(\alpha) \\ \\ f(\delta,\alpha)}
\]
\end{document}

Answer 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}