% Add any packages and command declarations or \input{file} statements 
\documentclass{carnap-compact}

%\usepackage{valep-macros}

\newcommand{\valeptex}{valep\TeX}

% This command is not useful at all, however, it is heavily used in Abriß, Syntax etc. 
\newcommand{\xspace}{~}

% 1929b Abriß:
% ACHTUNG: vieles davon sollte wohl in Formeln, z.B. \ha, \hb usw. 

\newcommand{\bF}{\begin{Formeln}}
\newcommand{\eF}{\end{Formeln}}
\newcommand{\bFf}{\begin{formeln}}
\newcommand{\eFf}{\end{formeln}}

\newcommand{\platz}{\quad}

\newcommand{\einruecken}{\hspace{\parindent}}
\newcommand{\adjK}{\,}
\newcommand{\adjS}{\;}

\newcommand{\ha}{\textsf{a}\xspace} 
\newcommand{\hb}{\textsf{b}\xspace} 
\newcommand{\hc}{\textsf{c}\xspace} 
\newcommand{\hd}{\textsf{d}\xspace} 
\newcommand{\he}{\textsf{e}\xspace}
\newcommand{\hf}{\textsf{f}\xspace}
\newcommand{\hg}{\textsf{g}\xspace}
\newcommand{\hh}{\textsf{h}\xspace}
\newcommand{\hi}{\textsf{i}\xspace}
\newcommand{\hk}{\textsf{k}\xspace}
\newcommand{\hp}{\textsf{p}\xspace}
\newcommand{\hs}{\textsf{s}\xspace}
\newcommand{\hm}{\textsf{m}\xspace}
\newcommand{\hDf}{\textsf{Df}}
\newcommand{\hB}{\textsf{B}\xspace} 
\newcommand{\hC}{\textsf{C}\xspace} 
\newcommand{\hD}{\textsf{D}\xspace} 
\newcommand{\hE}{\textsf{E}\xspace} 
\newcommand{\hF}{\textsf{F}\xspace} 
\newcommand{\hG}{\textsf{G}\xspace} 
\newcommand{\hN}{\textsf{N}\xspace} 
\newcommand{\hO}{\textsf{0}\xspace} 

\newcommand{\tI}{\texttt{I}\xspace} 
\newcommand{\tJ}{\texttt{J}\xspace} 

\newcommand{\Rp}{\dot{\hp}\h{`}} % Symbol for product
\newcommand{\Rpsymb}{\dot{\hp}} % Symbol for product
\newcommand{\Rs}{\dot{\hs}\h{`}} % Symbol for sum
\newcommand{\Rssymb}{\dot{\hs}} % Symbol for sum
\newcommand{\Rl}{\h{Rl`}} % Symbol for "Klasse der Teilkrelationen"
\newcommand{\Rlex}{\h{Rl\ ex`}} 
\newcommand{\ml}{\h{\textbf{ml}}}
\newcommand{\wl}{\h{\textbf{wl}}}
\newcommand{\kra}{\h{\textbf{kra}}} 
\newcommand{\berl}{\h{\textbf{berl}}} 
\newcommand{\stud}{\h{\textbf{stud}}} 
\newcommand{\ganz}{\h{\textbf{ganz}}} 
\newcommand{\pos}{\h{\textbf{pos}}} 
\newcommand{\rat}{\h{\textbf{rat}}} 
\newcommand{\prim}{\h{\textbf{prim}}} 
\newcommand{\Va}{\h{\textbf{Va}}\xspace} 
\newcommand{\Mu}{\h{\textbf{Mu}}\xspace} 
\newcommand{\Bru}{\h{\textbf{Bru}}\xspace} 
\newcommand{\Schw}{\h{\textbf{Schw}}} 
\newcommand{\Eh}{\h{\textbf{Eh}}} 
\newcommand{\Elt}{\h{\textbf{Elt}}\xspace} 
\newcommand{\Leh}{\h{\textbf{Leh}}\xspace} 
\newcommand{\Freund}{\h{\textbf{Freund}}\xspace} 
\newcommand{\Sin}{\h{\textbf{Sin}}} 
\newcommand{\Quadr}{\h{\textbf{Quadr}}} 
\newcommand{\Halb}{\h{\textbf{Halb}}} 
\newcommand{\Gr}{\h{\textbf{Gr}}} 
\newcommand{\Gb}{\h{\textbf{Gb}}}            % gibt
\newcommand{\Ka}{\h{\textbf{a}}\xspace} 
\newcommand{\Kb}{\h{\textbf{b}}\xspace} 
\newcommand{\Kc}{\h{\textbf{c}}\xspace} 
\newcommand{\KK}{\h{\textbf{K}}\xspace} 
\newcommand{\KW}{\h{\textbf{W}}\xspace} 
\newcommand{\KZ}{\h{\textbf{Z}}\xspace} 

\newcommand{\Div}{\h{Div`}} % Symbol fuer Diversen
\newcommand{\EXists}{\hE}

\newcommand{\Sim}{\h{sim}\xspace}
\newcommand{\aeq}{\h{aeq}\xspace}
\newcommand{\AEQ}{\h{Aeq}\xspace}
\newcommand{\Sym}{\h{sym}\xspace}

\newcommand{\Smm}{\h{Sm}\xspace}

\newcommand{\Nc}{\h{Nc}\xspace}
\newcommand{\nc}{\h{nc}\xspace}

\newcommand{\Nr}{\h{Nr}\xspace}
\newcommand{\nr}{\h{nr}\xspace}

\newcommand{\Pot}{\h{Pot}}
\newcommand{\Potid}{\h{Potid}}

\newcommand{\VGL}{Cf.~\ignorespaces}
\newcommand{\vGL}{cf.~\ignorespaces}
\newcommand{\logISTIKORG}{logistic\xspace}
\newcommand{\LOGISTIKORG}{Logistic\xspace}
\newcommand{\logISTIK}{symbolic logic\xspace}
\newcommand{\LOGISTIK}{Symbolic logic\xspace}

\newcommand{\sab}{see above\xspace}
\newcommand{\sbe}{see below\xspace}

\newcommand{\ORGusw}{\textcolor{magenta}{and so on}\xspace}  % For: usw. in original.

\newcommand{\VORHLINE}{\rule[-8pt]{0pt}{0pt}}
\newcommand{\NACHHLINE}{\rule{0pt}{15pt}}

\newcommand{\konvR}{\konv{R}}
\newcommand{\kkonvR}{\kkonv{R}}



%