Нотация Фреге для части III Begriffsschrift

Question

Я знаю несколько пакетов, помогающих изложить нотацию Фреге, с упором на то, чтоОсновные законы арифметики(Основные положения арифметики): begriff, fge, grundgesetze. Однако, похоже, ни один из них не поддерживает обозначение, которое он разработал для Части IIIBegriffsschrift(и затем заброшенный дляОсновные законы). Я пытаюсь понять, как лучше всего оформить что-то вроде следующего:

Есть ли какие-нибудь рекомендации?

Answer 1

Однажды я набрал Begriffsschrift и мне пришлось решать проблему, которую вы описываете. Я поместил свое решение в пакет под названиемGFnotation (Ладно, это не лучшее название) и вы можете найти его на CTAN. Он не только набирает символ, называемый ``свойство F наследственно в f-последовательности'', но и может использоваться для обработки всех обозначений Фреге в Begriffsschrift.

Ознакомьтесь с моей статьей в 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}