From f798e82244ad6607d6ef17318471cd639736ad6c Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 12 Jan 2006 23:58:16 +0000 Subject: logic git-svn-id: svn://tug.org/texlive/trunk@1051 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/logic/gn-logic14.sty | 119 +++++++++++++++++++++++ 1 file changed, 119 insertions(+) create mode 100644 Master/texmf-dist/tex/latex/logic/gn-logic14.sty diff --git a/Master/texmf-dist/tex/latex/logic/gn-logic14.sty b/Master/texmf-dist/tex/latex/logic/gn-logic14.sty new file mode 100644 index 00000000000..ae023304c55 --- /dev/null +++ b/Master/texmf-dist/tex/latex/logic/gn-logic14.sty @@ -0,0 +1,119 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\typeout{%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% + Logic Formula Environments and Macros. Version 1.4 gene 5/95 +% +% Purpose: +% Style option for LaTeX2e and LaTeX 2.09 to typeset formulas. +% +% Documentation: see seperate LaTeX document `gn-logic14.tex' +% +% Author: Gerd Neugebauer +% \"Odenburger Str. 16 +% 64295 Darmstadt (Germany) +% Mail: gerd@imn.th-leipzig.de +% +% Copyright (C) 1995 Gerd Neugebauer +% +% gn-logic.sty is distributed in the hope that it will be useful, +% but WITHOUT ANY WARRANTY. No author or distributor +% accepts responsibility to anyone for the consequences of using it +% or for whether it serves any particular purpose or works at all, +% unless he says so in writing. +% +% Everyone is granted permission to copy, modify and redistribute +% gn-logic.sty, provided this copyright notice is preserved and any +% modifications are indicated. +% +% +% This style is still under development and may be replaced with a new +% version which provides an enhanced functionality. +% Any comments are welcome but don't expect ANY help from my side. +% +} + +%%%---------------------------------------------------------------------------- +%%% Several useful abbrevations +%%% +\def\AND { \,\wedge\, } +\def\OR { \,\vee\, } +\def\XOR { \,\stackrel{.}{\vee}\, } +\def\IMPLIES { \,\rightarrow\, } +\def\IMPL { \,\rightarrow\, } +\def\IF { \,\leftarrow\, } +\def\IFF { \,\leftrightarrow\, } +\def\IFFdef { \,\stackrel{\rm def}{\longleftrightarrow}\, } + +\def\ANDdots { \,\wedge\!\ldots\!\wedge\, } +\def\ORdots { \,\vee\!\ldots\!\vee\, } + +\def\is { \!\setminus\! } +\def\Forall#1{ \forall #1\ } +\def\Exists#1{ \exists #1\ } + +\def\bbOne{\ifmmode\mathrm{1\!l}\else\mbox{\(\mathrm{1\!l}\)}\fi} +\def\bbB{\ifmmode\mathrm{I\!B}\else\mbox{\(\mathrm{I\!B}\)}\fi} +\def\bbD{\ifmmode\mathrm{I\!D}\else\mbox{\(\mathrm{I\!D}\)}\fi} +\def\bbE{\ifmmode\mathrm{I\!E}\else\mbox{\(\mathrm{I\!E}\)}\fi} +\def\bbF{\ifmmode\mathrm{I\!F}\else\mbox{\(\mathrm{I\!F}\)}\fi} +\def\bbH{\ifmmode\mathrm{I\!H}\else\mbox{\(\mathrm{I\!H}\)}\fi} +\def\bbI{\ifmmode\mathrm{I\!I}\else\mbox{\(\mathrm{I\!I}\)}\fi} +\def\bbJ{\ifmmode\mathrm{J\!\!J}\else\mbox{\(\mathrm{J\!\!J}\)}\fi} +\def\bbK{\ifmmode\mathrm{I\!K}\else\mbox{\(\mathrm{I\!K}\)}\fi} +\def\bbL{\ifmmode\mathrm{I\!L}\else\mbox{\(\mathrm{I\!L}\)}\fi} +\def\bbN{\ifmmode\mathrm{I\!N}\else\mbox{\(\mathrm{I\!N}\)}\fi} +\def\bbM{\ifmmode\mathrm{I\!M}\else\mbox{\(\mathrm{I\!M}\)}\fi} +\def\bbP{\ifmmode\mathrm{I\!P}\else\mbox{\(\mathrm{I\!P}\)}\fi} +\def\bbR{\ifmmode\mathrm{I\!R}\else\mbox{\(\mathrm{I\!R}\)}\fi} +\def\bbZ{\ifmmode\mathsf{Z\;\!\!\!\!Z}\else\mbox{\(\mathsf{Z\;\!\!\!\!Z}\)}\fi} +\let\N=\Nat +\let\Nat=\bbN +\let\Real=\bbR +\let\Int=\bbZ +%\def\Int{\mbox{\sf Z\hspace{-0.45em}Z}} +\def\bbC{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}C}} +\def\bbG{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}G}} +\def\bbO{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}O}} +\def\bbQ{\mbox{\rm\hspace{0.2em}\rule[.1ex]{.05em}{1.37ex}\hspace{-0.27em}Q}} +\let\Complex=\bbC +\let\Rat=\bbQ +%%%---------------------------------------------------------------------------- +%%% The formula environment +%%% + +\newlength\FormulaIndent \FormulaIndent=3em + +\def\Formula{\@ifnextchar[{\@Formula}{\@Formula[]}} + +\def\@FormLabel[#1]{\end{array}\\\label{#1}&&\begin{array}{l} } + +\def\@Formula[#1]{\begingroup\setlength{\arraycolsep}{0pt}% + \def\Form{\@ifnextchar[{\@FormLabel}{\end{array}\\&&\begin{array}{l} }}% + \def\={\\\hspace*{\FormulaIndent}}% + \def\>##1{\\\hspace*{\FormulaIndent}\hspace*{##1\FormulaIndent}}% + \penalty-500\eqnarray\ifx\@empty#1\else\label{#1}\fi&&\begin{array}{l} } + +\def\endFormula{\end{array}\endeqnarray\endgroup} + + +%%%---------------------------------------------------------------------------- +%%% The NewTheorem environment +%%% + +\def\TheoremTitle#1{{\small #1}} +\def\TheoremName#1{{\small\bf (#1)}} + +\def\NewTheorem#1{ + \expandafter\gdef\csname #1\endcsname{\csname THM#1\endcsname\@@theorem} + \expandafter\gdef\csname end#1\endcsname{\csname endTHM#1\endcsname} + \@ifnextchar[{\New@Theorem#1}{\expandafter\newtheorem{THM#1}}} + +\def\New@Theorem#1[{\expandafter\newtheorem{THM#1}[THM} + +\def\@@theorem{% +\@ifnextchar[{\@@theorem@title}{\@ifnextchar({\@@theorem@label}{\@ifnextchar<{\@@theorem@name}{\ \nobreak\\\nobreak}}}} + +\def\@@theorem@label(#1){\label{#1}\@@theorem} +\def\@@theorem@title[#1]{\ \TheoremTitle{#1}\@@theorem} +\def\@@theorem@name<#1>{\ \TheoremName{#1}\@@theorem} + -- cgit v1.2.3