% tests/testbegr.tex:
% This file:
%   http://angg.twu.net/dednat5/tests/testbegr.tex.html
%   http://angg.twu.net/dednat5/tests/testbegr.tex
%                    (find-dn5 "tests/testbegr.tex")
% Author: Eduardo Ochs <eduardoochs@gmail.com>
% Version: 2011may15
% License: GPL3
%

% To compile this file and display the result I use this:
%   (defun m () (interactive) (find-dn5sh "make veryveryclean; make S=$S LUA51_=$(which lua5.1) tgz"))
%   (defun c () (interactive) (find-dn5sh "cd tests/; make testbegr.veryclean; make testbegr.dvi"))
%   (defun d () (interactive) (find-dvipage "~/dednat5/tests/testbegr.dvi"))
% See:
%   (find-dn5 "tests/Makefile" "testbegr")
%   (find-dn5 "tests/testbegr.dnt")
%   http://angg.twu.net/dednat5/tests/testbegr.pdf   <-- output
% This file tests:
%   (find-dn5 "begriff.lua")
%   (find-dn5 "dednat5.lua")

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{stackrel}
%% (find-dn5 "begriff.lua" "begriff_preamble")
%L table.insert(outputs, 2, begriff_preamble)
\input testbegr.dnt       % (find-dn5 "tests/testbegr.dnt")
\begin{document}

\def\aa{\alpha}
\def\bb{\beta}
\def\cc{\gamma}
\def\dd{\delta}
\def\ee{\epsilon}
\def\fra{\mathfrak{a}}
\def\frd{\mathfrak{d}}
\def\fre{\mathfrak{e}}
\def\hh{\rule{2.8mm}{0.1mm}}
\def\vv{\rule[0.01mm]{0.1mm}{3mm}}
\def\SRchtb{\stackrel[\bb]{\cc}{\stackrel{\hh}{\sim}}}
\def\SRctb {\stackrel[\beta]{\gamma}{\sim}}
\def\SRdIe {\stackrel[\epsilon]{\delta}{\mbox{I}}}
\def\SRdia {\stackrel[\alpha]{\delta}{\vv}}
\def\SRdiaP #1#2{\SRdia\Big(^{#1}_{#2}}
\def\SRdiaPFafda{\SRdiaP{F(\alpha)}{f(\delta,\alpha)}}

\def\bgequiv#1#2{\left[\BGbracket{#1}\equiv\ #2\right]}

% (find-books "__frege/__frege.el" "heijenoort")
% (find-heijenoortfromftogpage (+ 11 55) "(69)")
% (find-heijenoortfromftogpage (+ 11 74) "(115)")
% (find-heijenoortfromftogpage (+ 11 78) "(126)")

%B
%B  126? :::> |-.-.-.-.--- \SRchtb f(m_\cc,y_\bb)
%B              | | | \-~- \SRctb f(y_\cc,m_\bb)
%B              | | \----- \SRctb f(x_\cc,y_\bb)
%B              | \------- \SRctb f(x_\cc,m_\bb)
%B              \--------- \SRdIe f(\dd,\ee)
%B
%B  69-inner ::> --(d).(a).- F(\fra)
%B                    |   \- f(\frd,\fra)
%B                    \----- F(\frd)
%B
%B 115-inner :::> --(e)-(d).(a).- (\fra\equiv\fre)
%B                         |   \- f(\frd,\fra)
%B                         \----- f(\frd,\fre)
%B
% (find-dn5 "dednat5.lua")
% (find-dn5 "begriff.lua")

$(126?) \qquad \begr{126?}$
\\[2mm]
$(69?)  \quad \vdash \bgequiv{\begr{69-inner}}{\SRdiaPFafda}$
\\[2mm]
$(115?) \quad \Vdash \bgequiv{\begr{115-inner}}{\SRdIe f(\dd,\ee)}$


\bigskip

%B
%B  20 ::::> |-.-.-.-.-.- a   20' ::::> |-.-.-.- b
%B             | | | | \- c               | | \- d
%B             | | | \--- d               | \-.- b
%B             | | \----- e               |   \- c
%B             | \----.- a                \-.-- c
%B             |      \- b                  \-- d
%B             \-.-.-.- b
%B               | | \- c
%B               | \--- d
%B               \----- e
%B
%B  21 :::> |-.-.-.--- a   22 :::> |-.-.-.-.-.-.- a  22' ::> |-.-.-.-.-.- a
%B            | | \-.- b             | | | | | \- c            | | | | \- b
%B            | |   \- c             | | | | \--- b            | | | \--- e
%B            | \--.- c              | | | \----- d            | | \----- c
%B            |    \- d              | | \------- e            | \-.- d
%B            \-.--- a               | \--------- f            |   \- e
%B              \-.- b               \-.-.-.-.-.- a            \-.-.-.- a
%B                \- d                 | | | | \- b              | | \- b
%B                                     | | | \--- c              | \--- c
%B                                     | | \----- d              \----- d
%B                                     | \------- e            
%B                                     \--------- f            
%B
%B
%B
%B
$(20) \quad \begr{20} \quad \begr{20'}
 \qquad
 (21) \quad \begr{21}
 \qquad
 (22) \quad \begr{22} \quad \begr{22'}
$






\end{document}


% dump-to: tests
%[==[
%]==]

% Local Variables:
% coding:             raw-text-unix
% ee-anchor-format:   "«%s»"
% End:
