From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Mon, 2 Sep 2019 13:46:59 +0900
Subject: Initial commit

---
 macros/latex/contrib/sdrt/sdrt.sty | 232 +++++++++++++++++++++++++++++++++++++
 1 file changed, 232 insertions(+)
 create mode 100644 macros/latex/contrib/sdrt/sdrt.sty

(limited to 'macros/latex/contrib/sdrt/sdrt.sty')

diff --git a/macros/latex/contrib/sdrt/sdrt.sty b/macros/latex/contrib/sdrt/sdrt.sty
new file mode 100644
index 0000000000..15bfb8a806
--- /dev/null
+++ b/macros/latex/contrib/sdrt/sdrt.sty
@@ -0,0 +1,232 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%                                                                          %%
+%% sdrt.sty v. 1.0 by Paul Isambert                                         %%
+%% This set of macros is published under the LaTeX Project Public License.  %%
+%%                                                                          %%
+%% Comments, suggestions and bugs:                                          %%
+%%                                                                          %%
+%% zappathustra@free.fr                                                     %%
+%%                                                                          %%
+%% http://paulisambert.free.fr/                                             %%
+%%                                                                          %%
+%% Enjoy!                                                                   %%
+%%                                                                          %%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{sdrt}[2008/04/02 Package for typesetting Discourse Representation Theory and formal semantics in general]
+
+\RequirePackage{ifthen}
+\RequirePackage{xyling}
+\RequirePackage{xytree}%This package is needed, otherwise there's trouble with the trees... but I dont know why!
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%The \lab[]{} command and all its variants%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%\lab
+\newcommand{\lab}[2][]{\ensuremath{\pi#1_{#2}}}
+
+\newcommand{\labone}{\ensuremath{\lab{1}}} 
+\newcommand{\labtwo}{\ensuremath{\lab{2}}}
+\newcommand{\labthree}{\ensuremath{\lab{3}}} 
+\newcommand{\labfour}{\ensuremath{\lab{4}}} 
+\newcommand{\labfive}{\ensuremath{\lab{5}}} 
+\newcommand{\labsix}{\ensuremath{\lab{6}}} 
+\newcommand{\labseven}{\ensuremath{\lab{7}}} 
+\newcommand{\labeight}{\ensuremath{\lab{8}}} 
+\newcommand{\labnine}{\ensuremath{\lab{9}}} 
+\newcommand{\labzero}{\ensuremath{\lab{0}}} 
+
+\newcommand{\labprime}{\ensuremath{\lab[']{}}}
+\newcommand{\labsecond}{\ensuremath{\lab['']{}}}
+\newcommand{\labthird}{\ensuremath{\lab[''']{}}}
+\newcommand{\labfourth}{\ensuremath{\lab['''']{}}}
+
+%\klab
+\newcommand{\klab}[2][]{\ensuremath{\lab[#1]{#2} : K_{\lab[#1]{#2}}}}
+
+\newcommand{\klabone}{\ensuremath{\klab{1}}} 
+\newcommand{\klabtwo}{\ensuremath{\klab{2}}}
+\newcommand{\klabthree}{\ensuremath{\klab{3}}} 
+\newcommand{\klabfour}{\ensuremath{\klab{4}}} 
+\newcommand{\klabfive}{\ensuremath{\klab{5}}} 
+\newcommand{\klabsix}{\ensuremath{\klab{6}}} 
+\newcommand{\klabseven}{\ensuremath{\klab{7}}} 
+\newcommand{\klabeight}{\ensuremath{\klab{8}}} 
+\newcommand{\klabnine}{\ensuremath{\klab{9}}} 
+\newcommand{\klabzero}{\ensuremath{\klab{0}}}
+
+%\klabstar
+\newcommand{\klabstar}[2][]{\ensuremath{\lab[#1]{#2} : K^{+}_{\lab[#1]{#2}}}}
+
+\newcommand{\klabstarone}{\ensuremath{\klabstar{1}}} 
+\newcommand{\klabstartwo}{\ensuremath{\klabstar{2}}}
+\newcommand{\klabstarthree}{\ensuremath{\klabstar{3}}} 
+\newcommand{\klabstarfour}{\ensuremath{\klabstar{4}}} 
+\newcommand{\klabstarfive}{\ensuremath{\klabstar{5}}} 
+\newcommand{\klabstarsix}{\ensuremath{\klabstar{6}}} 
+\newcommand{\klabstarseven}{\ensuremath{\klabstar{7}}} 
+\newcommand{\klabstareight}{\ensuremath{\klabstar{8}}} 
+\newcommand{\klabstarnine}{\ensuremath{\klabstar{9}}} 
+\newcommand{\klabstarzero}{\ensuremath{\klabstar{0}}}
+
+%\flab
+\newcommand{\flab}[2][]{\ensuremath{\mathcal{F}(\lab[#1]{#2})}}
+
+\newcommand{\flabone}{\ensuremath{\flab{1}}} 
+\newcommand{\flabtwo}{\ensuremath{\flab{2}}}
+\newcommand{\flabthree}{\ensuremath{\flab{3}}} 
+\newcommand{\flabfour}{\ensuremath{\flab{4}}} 
+\newcommand{\flabfive}{\ensuremath{\flab{5}}} 
+\newcommand{\flabsix}{\ensuremath{\flab{6}}} 
+\newcommand{\flabseven}{\ensuremath{\flab{7}}} 
+\newcommand{\flabeight}{\ensuremath{\flab{8}}} 
+\newcommand{\flabnine}{\ensuremath{\flab{9}}} 
+\newcommand{\flabzero}{\ensuremath{\flab{0}}}
+
+%\flabk
+\newcommand{\fklab}[2][]{\ensuremath{\flab[#1]{#2} = K_{\lab[#1]{#2}}}}
+
+\newcommand{\fklabone}{\ensuremath{\fklab{1}}} 
+\newcommand{\fklabtwo}{\ensuremath{\fklab{2}}}
+\newcommand{\fklabthree}{\ensuremath{\fklab{3}}} 
+\newcommand{\fklabfour}{\ensuremath{\fklab{4}}} 
+\newcommand{\fklabfive}{\ensuremath{\fklab{5}}} 
+\newcommand{\fklabsix}{\ensuremath{\fklab{6}}} 
+\newcommand{\fklabseven}{\ensuremath{\fklab{7}}} 
+\newcommand{\fklabeight}{\ensuremath{\fklab{8}}} 
+\newcommand{\fklabnine}{\ensuremath{\fklab{9}}} 
+\newcommand{\fklabzero}{\ensuremath{\fklab{0}}}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%A shorthand for discourse relations%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\dr}[3]{\ensuremath{#1(\pi_{#2}, \pi_{#3})}}
+
+%%%%%%%%%%%
+%Variables%
+%%%%%%%%%%%
+\newcommand{\varsub}[2]{\ensuremath{#1_{#2}}}
+\newcommand{\varsup}[2]{\ensuremath{#1^{#2}}}
+
+%%%%%%%%%%
+%\(P)SDRS%
+%%%%%%%%%%
+
+\newcommand{\SDRS}[3][none]
+{\ifthenelse{\equal{#1}{none}}{\ensuremath
+    {\hspace{2ex}
+    \begin{array}{|l|}
+    \hline
+    ~ \vspace{-2.5ex}\\
+    #2\\
+    ~ \vspace{-2.5ex} \\
+    \hline
+    \\
+    #3\hspace{5pt}\\
+    \\    
+    \hline
+    \end{array}
+    }
+}
+{\ensuremath
+    {#1: \hspace{-.5ex}
+    \begin{array}{|l|}
+    \hline
+    ~ \vspace{-2.5ex}\\
+    #2\\
+    ~ \vspace{-2.5ex} \\
+    \hline
+    \\
+    #3\hspace{5pt}\\
+    \\    
+    \hline
+    \end{array}
+    }}
+}
+
+%Presupposed versions
+\newcommand{\PSDRS}[3][none]{\ifthenelse{\equal{#1}{none}}{\ensuremath{\partial\left(\; \hspace{-2ex}\SDRS{#2}{#3}\; \right)}}{\ensuremath{#1: \partial\left(\; \SDRS{#2}{#3}\; \right)}}}
+\newcommand{\pres}[1]{\ensuremath{\partial(#1)}}
+
+%%%%%%%
+%Trees%
+%%%%%%%
+\newcommand{\sdrtree}[1]{\Treek[1]{2}{#1}}
+\newcommand{\LAB}[1]{\K{ #1}}
+\newcommand{\cons}[1][d]{\Bk{.5}{-2}{#1}}
+\newcommand{\consl}{\Bk{1}{-2}{dl}}
+\newcommand{\consr}{\Bk{1}{-2}{dr}}
+\newcommand{\srel}[2][d]{\ARk{.5}{-2}{#1}^{$#2$}}
+\newcommand{\srell}[1]{\ARk{1}{-2}{dl}_{$#1$}}
+\newcommand{\srelr}[1]{\ARk{1}{-2}{dr}^{$#1$}}
+\newcommand{\crel}[2][rr]{\GBkk{3,2.5}{-1.7,-3.5}{#1}{->}_{$#2$}}
+
+%%%%%%%%%
+%Symbols%
+%%%%%%%%%
+\newcommand{\intens}[1]{\ensuremath{^{\wedge}#1}}
+\newcommand{\extens}[1]{\ensuremath{^{\vee}#1}}
+\newcommand{\true}[1]{\ensuremath{\delta#1}}
+\newcommand{\necess}[2]{\ensuremath{[#1]#2}}
+\newcommand{\possib}[2]{\ensuremath{\langle #1\rangle #2}}
+\newcommand{\append}[2]{\ensuremath{#1^{\cap}#2}}
+\newcommand{\summary}{\ensuremath{\sqcap}}
+\newcommand{\merging}{\ensuremath{\sqcup}}
+\newcommand{\aflast}{\ensuremath{\langle A, \mathcal{F}, LAST\rangle}}
+\newcommand{\topic}{\ensuremath{\Downarrow}}
+\newcommand{\believes}[2][]{\ifthenelse{\equal{#1}{}}{\ensuremath{\mathcal{B}_{#2}}}{\ensuremath{\mathcal{B}_{#2}(#1)}}}
+\newcommand{\intends}[2][]{\ifthenelse{\equal{#1}{}}{\ensuremath{\mathcal{I}_{#2}}}{\ensuremath{\mathcal{I}_{#2}(#1)}}}
+\newcommand{\extends}{\ensuremath{\subseteq}}
+\newcommand{\Lbracket}{[\hspace{-.4ex}[}
+\newcommand{\Rbracket}{]\hspace{-.4ex}]}
+\newcommand{\ccp}[4][]{\ensuremath{(#2)\Lbracket #3\Rbracket_{#1}(#4)}}
+\newcommand{\nmentp}[1][]{\ensuremath{{|\hspace{-4.8pt}\sim}_{#1}}}
+\newcommand{\nmentm}[1][]{\ensuremath{{|\hspace{-5pt}\approx}_{#1}}}
+\newcommand{\entm}[1][]{\ensuremath{\models_{#1}}}
+\newcommand{\entp}[1][]{\ensuremath{\vdash_{#1}}}
+\newcommand{\Nnmentp}[1][]{\ensuremath{{|\hspace{-4.8pt}\not\sim}_{#1}}}
+\newcommand{\Nnmentm}[1][]{\ensuremath{{|\hspace{-5pt}\not\approx}_{#1}}}
+\newcommand{\Nentm}[1][]{\ensuremath{\not\models_{#1}}}
+\newcommand{\Nentp}[1][]{\ensuremath{\not\vdash_{#1}}}
+\newcommand{\sarg}[2]{\scshape sarg\upshape\ensuremath{(#1, #2)}}
+\newcommand{\outscopes}{\ensuremath{\succ}}
+\newcommand{\tempprec}{\ensuremath{\prec}}
+\newcommand{\lulf}{\ensuremath{\varsub{\mathcal{L}}{ulf}}}
+\newcommand{\trfunc}{\ensuremath{\nu}}
+\newcommand{\resolves}{\ensuremath{\leadsto}}
+\newcommand{\kstar}{\ensuremath{K^{+}}}
+\newcommand{\thext}{\ensuremath{T^{\rightarrow}}}
+\newcommand{\update}{\emph{update}\textsubscript{\scshape sdrt}}
+\newcommand{\bestupdate}{\emph{Best-update}\textsubscript{\scshape sdrt}}
+\newcommand{\downdate}{\ensuremath{\downarrow}}
+\newcommand{\revision}{\ensuremath{\otimes}}
+\newcommand{\ulf}{\ensuremath{\mathcal{K}}}
+\newcommand{\access}{\ensuremath{\leq}}
+\newcommand{\efdeq}{\ensuremath{\coloneq}}
+\newcommand{\union}[1]{\ensuremath{\bigcup\limits_{#1}}}
+\newcommand{\subtype}{\ensuremath{\sqsubseteq}}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%Here is the code of the subscript.sty package used for \update, along with the license%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+% subscript.sty
+%
+% Copyright 1999 Robin Fairbairns
+%
+% this fragment is distributed under the conditions of the LaTeX
+% Project Public Licence -- see lppl.txt in the LaTeX distribution
+%
+% this fragment provides a command \textsubscript, which is
+% shamelessly copied from the command \textsuperscript that's part of
+% LaTeX
+%
+% the fragment may be used as a package in its own right, if so
+% needed.
+
+\DeclareRobustCommand*\textsubscript[1]{%
+  \@textsubscript{\selectfont#1}}
+\def\@textsubscript#1{%
+  {\m@th\ensuremath{_{\mbox{\fontsize\sf@size\z@#1}}}}}
+
-- 
cgit v1.2.3

