フレーゲの記法（第3部）

Question

私が知っている限りでは、フレーゲ記法のレイアウトを手助けするパッケージがいくつかある。算数の基本法則（算数の基礎): 用語、文法、基本概念。しかし、これらのいずれも、彼が第3部で開発した表記法を扱っていないようです。用語集（そしてその後放置された基本法）。以下のようなレイアウトに最適な方法を見つけようとしています。

何かおすすめはありますか？

Answer 1

一度、Begriffsschriftをタイプセットして、あなたが説明した問題を解決しなければなりませんでした。私は自分の解決策をパッケージにまとめました。GF記法 (まあ、これは最適な名前ではありませんが)、CTAN で見つけることができます。これは、「プロパティ F は f シーケンスで遺伝的である」というシンボルをタイプセットするだけでなく、Begriffsschrift の Frege 表記法のすべてを処理するのに使用できます。

TUGboat の私の記事をご覧ください:「ゴットロープ・フレーゲの『Begriffsschrift』をプレーンTeXでタイプセットする。」

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}