Freges Notation für Teil III der Begriffsschrift

Question

Ich kenne ein paar Pakete, die einem helfen, Freges Notation zu entwerfen, mit einem Schwerpunkt darauf inGrundgesetze der Arithmetik(Grundgesetze der Arithmetik): Begriff, fge, Grundgesetze. Es scheint jedoch, dass keines davon die Notation behandelt, die er für Teil III derBegriffsschrift(und dann aufgegeben fürGrundgesetze). Ich versuche herauszufinden, wie man etwa das Folgende am besten anordnen könnte:

Irgendwelche Empfehlungen?

Answer 1

Nachdem ich die Begriffsschrift gesetzt hatte, musste ich das Problem lösen, das Sie ebenfalls beschreiben. Ich habe meine Lösung in ein Paket namensGF-Notation (OK, das ist nicht der beste Name) und Sie finden es auf CTAN. Es setzt nicht nur das Symbol „Eigenschaft F ist in der f-Folge vererbbar“, sondern kann auch verwendet werden, um die gesamte Notation von Frege in der Begriffsschrift zu handhaben.

Schauen Sie sich meinen Artikel in TUGboat an:„Satz der ‚Begriffsschrift‘ von Gottlob Frege in einfachem TeX.“

Answer 2

Eine einfache Lösung mit 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

Stapeln Sie es!!

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

Answer 4

Einige einfache Lösungen, aber mit Ausrichtungsproblemen. Könnte vielleicht mit anderen kombiniert werden, um es zu verbessern.

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