Notación de Frege para la parte III del Begriffsschrift

Question

Conozco un par de paquetes que ayudan a diseñar la notación de Frege, centrándonos en eso enLeyes básicas de la aritmética(Grundgesetze der Arithmetik): begriff, fge, grundgesetze. Sin embargo, parece que ninguno de ellos maneja la notación que desarrolló para la Parte III deBegriffsschrift(y luego abandonado porLeyes Básicas). Estoy tratando de descubrir cuál podría ser la mejor manera de diseñar algo como lo siguiente:

¿Alguna recomendación?

Answer 1

Una vez compuse el Begriffsschrift y tuve que resolver el problema que usted describe también. Coloqué mi solución en un paquete llamadonotación GF (OK, no es el mejor nombre) y puedes encontrarlo en CTAN. No sólo compone el símbolo llamado "la propiedad F es hereditaria en la secuencia f", sino que también puede usarse para manejar toda la notación de Frege en el Begriffsschrift.

Echa un vistazo a mi artículo en TUGboat:"Composición tipográfica del 'Begriffsschrift' de Gottlob Frege en texto simple".

Answer 2

Una solución sencilla con 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

¡¡Apílalo!!

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

Answer 4

Alguna solución simple, pero con problema de alineación. Quizás podría combinarse con otros para mejorarlo.

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