summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/membranecomputing
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-07-23 21:25:49 +0000
committerKarl Berry <karl@freefriends.org>2020-07-23 21:25:49 +0000
commit4f97216d337350afed0b6718c5ccfbb5c6d4d3b4 (patch)
treef04d8bbc1456fcf92fccd4c6921c409b82832799 /Master/texmf-dist/tex/latex/membranecomputing
parente5de743200b560ef022e6fb4b6c183179088e3da (diff)
membranecomputing (23jul20)
git-svn-id: svn://tug.org/texlive/trunk@55918 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/membranecomputing')
-rw-r--r--Master/texmf-dist/tex/latex/membranecomputing/membranecomputing.sty599
1 files changed, 599 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/membranecomputing/membranecomputing.sty b/Master/texmf-dist/tex/latex/membranecomputing/membranecomputing.sty
new file mode 100644
index 00000000000..bb513168d53
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/membranecomputing/membranecomputing.sty
@@ -0,0 +1,599 @@
+%%
+%% Copyright 2020 David Orellana Martín
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either version 1.3
+% of this license or (at your option) any later version.
+% The latest version of this license is in
+% http://www.latex-project.org/lppl.txt
+% and version 1.3 or later is part of all distributions of LaTeX
+% version 2005/12/01 or later.
+%
+% This work has the LPPL maintenance status `maintained'.
+%
+% The Current Maintainer of this work is David Orellana Martín
+%
+% This work consists of the file membranecomputing.sty.
+
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{membranecomputing}[2020/07/23 Membrane Computing v0.1]
+
+% Require Packages
+
+\RequirePackage{ifthen}
+\RequirePackage{xstring}
+
+% Declare options
+
+\newboolean{membranecomputing@blackboard}
+\setboolean{membranecomputing@blackboard}{false}
+\DeclareOption{blackboard}{
+ \setboolean{membranecomputing@blackboard}{true}
+}
+\DeclareOption{traditional}{
+ \setboolean{membranecomputing@blackboard}{false}
+}
+\ProcessOptions\relax
+
+% Declare counters
+\newcounter{membranecomputing@membrane}
+\newcounter{membranecomputing@imembrane}
+\newcounter{membranecomputing@element}
+
+% Declare auxiliary commands
+
+\newcommand{\membranecomputing@iden}[1]{#1}
+\newcommand{\lhsC}{}
+\newcommand{\rhsC}{}
+\newcommand{\lhsL}{}
+\newcommand{\rhsL}{}
+\newcommand{\lhsP}{}
+\newcommand{\rhsP}{}
+\newcommand{\lhsIC}{}
+\newcommand{\rhsIC}{}
+\newcommand{\lhsIL}{}
+\newcommand{\rhsIL}{}
+\newcommand{\lhsIP}{}
+\newcommand{\rhsIP}{}
+\newcommand{\lhsOC}{}
+\newcommand{\rhsOC}{}
+\newcommand{\lhsE}{}
+\newcommand{\lhsS}{}
+\newcommand{\rhsS}{}
+\newcommand{\rhsD}{}
+
+\newcommand{\arrow}{}
+\newcommand{\labelSub}{}
+\newcommand{\labelSubL}{}
+\newcommand{\labelSubR}{}
+\newcommand{\polW}{}
+\newcommand{\polP}{}
+\newcommand{\polWL}{}
+\newcommand{\polPL}{}
+\newcommand{\polWR}{}
+\newcommand{\polPR}{}
+\newcommand{\formattedRule}{}
+
+\exploregroups \expandarg
+
+\newcommand{\formatRule}[4]{
+ \renewcommand{\arrow}{\ensuremath{\IfStrEq{#1}{written}{\rightarrow}{\, --> \,}}}
+ \IfStrEqCase{#2}
+ {% BEGIN CASES
+ {rewriting}
+ {%BEGIN IF REWRITING
+ \renewcommand{\formattedRule}{#3 \arrow #4}
+ }% END IF REWRITING
+ {single}
+ {% BEGIN IF SINGLE
+ \renewcommand{\formattedRule}{#3 \arrow #4}
+ }% END IF SINGLE
+ {multiple}
+ {% BEGIN IF MULTIPLE
+ \renewcommand{\formattedRule}{#3 \arrow #4}
+ }% END IF MULTIPLE
+ {paren}
+ {% BEGIN IF PAREN
+ \renewcommand{\formattedRule}{#3 / #4}
+ }% END IF PAREN
+ }% END CASES
+ \ensuremath{\IfStrEq{#1}{written}{\formattedRule}{\mathtt{\formattedRule}}}
+}
+
+% Commands that depend on the kind of letters
+\ifthenelse{\boolean{membranecomputing@blackboard}}{ %
+ \newcommand{\workingalphabet}{\ensuremath{O}}
+ \newcommand{\inputalphabet}{\ensuremath{E}}
+ \newcommand{\initmultiset}[1]{\ensuremath{w_{#1}}}
+ \newcommand{\ruleset}[1]{\ensuremath{R_{#1}}}
+ \newcommand{\probabilitiesset}[1]{\ensuremath{p_{#1}}}
+}{
+ \newcommand{\workingalphabetspiking}{\ensuremath{O}}
+ \newcommand{\workingalphabet}{\ensuremath{\Gamma}}
+ \newcommand{\inputalphabet}{\ensuremath{\Sigma}}
+ \newcommand{\initmultiset}[1]{\ensuremath{\mathcal{M}_{#1}}}
+ \newcommand{\ruleset}[1]{\ensuremath{\mathcal{R}_{#1}}}
+ \newcommand{\probabilitiesset}[1]{\ensuremath{\rho_{#1}}}
+}
+
+% Commands that do not depend on the kind of letters
+\newcommand{\labelset}{\ensuremath{H}}
+\newcommand{\membranestructure}{\ensuremath{\mu}}
+\newcommand{\neuron}[1]{\ensuremath{\sigma_{#1}}}
+\newcommand{\compartment}[1]{\ensuremath{C_{#1}}}
+\newcommand{\agent}[1]{\ensuremath{B_{#1}}}
+\newcommand{\iin}{\ensuremath{i_{in}}}
+\newcommand{\iout}{\ensuremath{i_{out}}}
+\newcommand{\degree}{\ensuremath{q}}
+\newcommand{\syn}{\ensuremath{syn}}
+\newcommand{\yes}{\ensuremath{\mathtt{yes}}}
+\newcommand{\no}{\ensuremath{\mathtt{no}}}
+\newcommand{\initEnvironment}{\ensuremath{v_{E}}}
+
+% Shortcuts
+\newcommand{\wa}{\workingalphabet}
+\newcommand{\ia}{\inputalphabet}
+\newcommand{\ls}{\labelset}
+\newcommand{\ms}{\membranestructure}
+\newcommand{\im}{\initmultiset}
+\newcommand{\rs}{\ruleset}
+\newcommand{\ps}{\probabilitiesset}
+\newcommand{\vE}{\initEnvironment}
+
+\newcommand{\psystem}[5][nonrecognizer]
+{% BEGIN COMMAND PSYSTEM
+ \IfEqCase{#3}
+ {% BEGIN CASES
+ {transition}
+ {% BEGIN IF TRANSITION
+ \ensuremath{\Pi_{#4} = \left(\wa, \ifthenelse{\equal{#1}{recognizer}}{\Sigma, }{} \ifthenelse{\equal{#2}{cell}}{\ms, }{} \im{1}, \dots, \im{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, (\rs{1}, \ps{1}), \dots, (\rs{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \ps{\ifthenelse{\equal{#5}{}}{\degree}{#5}}), \ifthenelse{\equal{#1}{recognizer}}{\iin, }{} \iout \right)}
+ }% END IF TRANSITION
+ {activemembranes}
+ {% BEGIN IF ACTIVEMEMBRANES
+ \ensuremath{\Pi_{#4} = \left(\wa, \ifthenelse{\equal{#1}{recognizer}}{\Sigma, }{} \ifthenelse{\equal{#2}{cell}}{\ms, }{} \im{1}, \dots, \im{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \rs{1}, \dots, \rs{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \ifthenelse{\equal{#1}{recognizer}}{\iin, }{} \iout \right)}
+ }% END IF ACTIVEMEMBRANES
+ {symportantiport}
+ {% BEGIN IF SYMPORTANTIPORT
+ \ensuremath{\Pi_{#4} = \left(\wa, \ifthenelse{\equal{#1}{recognizer}}{\Sigma, }{} \mathcal{E}, \ifthenelse{\equal{#2}{cell}}{\ms, }{} \im{1}, \dots, \im{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \ifthenelse{\equal{#2}{cell}}{\rs{1}, \dots, \rs{\ifthenelse{\equal{#5}{}}{\degree}{#5}}}{\rs}, \ifthenelse{\equal{#1}{recognizer}}{\iin, }{} \iout \right)}
+ }% END IF SYMPORTANTIPORT
+ {spiking}
+ {% BEGIN IF SPIKING
+ \ensuremath{\Pi_{#4} = \left(\ifthenelse{\boolean{membranecomputing@blackboard}}{\wa}{\workingalphabetspiking}, \neuron{1}, \dots, \neuron{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \syn, \ifthenelse{\equal{#1}{recognizer}}{\iin, }{} \iout \right)}
+ }% END IF SPIKING
+ {kernel}
+ {% BEGIN IF KERNEL
+ \ensuremath{k\Pi_{#4} = \left(\wa, \ifthenelse{\equal{#2}{cell}}{\ms, }{} \compartment{1}, \dots, \compartment{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \ifthenelse{\equal{#1}{recognizer}}{\iin, }{} \iout \right)}
+ }% END IF KERNEL
+ {colony}
+ {% BEGIN IF COLONY
+ \ensuremath{\Pi_{#4} = \left(\wa, \ifthenelse{\equal{#1}{recognizer}}{\Sigma, }{} e, f, \vE, \agent{1}, \dots, \agent{\ifthenelse{\equal{#5}{}}{\degree}{#5}}, \ifthenelse{\equal{#1}{recognizer}}{\iin, }{}\right)}
+ }% END IF COLONY
+ }% END CASES
+ [\PackageError{psystem}{Undefined option to psystem: #3}]
+}% END COMMAND PSYSTEM
+
+\newcommand{\wrule}[5][multiple]{\mcrule[written]{#1}{#2}{#3}{#4}{#5}}
+\newcommand{\prule}[5][multiple]{\mcrule[plingua]{#1}{#2}{#3}{#4}{#5}}
+
+\newcommand{\mcrule}[6][written]
+{% BEGIN COMMAND RULE
+ \IfEqCase{#2}
+ {% BEGIN CASES TYPE
+ {rewriting}
+ {% BEGIN IF REWRITING
+ \renewcommand{\lhsC}{}
+ \renewcommand{\rhsC}{}
+ \formatRule{#1}{#2}{#5}{#6}
+ }% END IF REWRITING
+ {single}
+ {% BEGIN IF SINGLE
+ \renewcommand{\lhsC}{}
+ \renewcommand{\rhsC}{}
+ \renewcommand{\lhsL}{}
+ \renewcommand{\rhsL}{}
+ \renewcommand{\lhsP}{}
+ \renewcommand{\rhsP}{}
+ \StrFindGroup{#5}{1}[\lhsC]
+ \StrFindGroup{#6}{1}[\rhsC]
+ \StrFindGroup{#5}{2}[\lhsL]
+ \StrFindGroup{#5}{3}[\lhsP]
+ \renewcommand{\polW}{\ensuremath{\IfStrEq{#1}{written}{^{\lhsP}}{}}}
+ \renewcommand{\polP}{\ensuremath{\IfStrEq{#1}{plingua}{\lhsP}{}}}
+ \renewcommand{\labelSub}{\ensuremath{\IfStrEq{#1}{written}{_{\lhsL}}{'\lhsL}}}
+ \formatRule{#1}{#2}{\ensuremath{\polP \left[ \, \lhsC}}{\ensuremath{\rhsC \, \right]\polW\labelSub}}
+ % \ensuremath{\left[ \, \lhsC \rightarrow \rhsC \, \right]^{\ifthenelse{\equal{\lhsP}{}} {\rhsP} {\lhsP} }_{\ifthenelse{\equal{\lhsL}{}} {\rhsL} {\lhsL} }}
+ }% END IF SINGLE
+ {multiple}
+ {% BEGIN IF MULTIPLE
+ % BEGIN LHS ANALYSIS
+ \renewcommand{\lhsIC}{}
+ \renewcommand{\lhsIL}{}
+ \renewcommand{\lhsIP}{}
+ \renewcommand{\lhsOC}{}
+ \setcounter{membranecomputing@membrane}{1}
+ \whiledo {\value{membranecomputing@membrane} < \numexpr#3+1\relax}
+ {% BEGIN FOR MEMBRANE
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane}}[\currentM]
+ \IfStrEq{\currentM}{{}}
+ {% BEGIN IF EMPTY GROUP
+ % EMPTY GROUP
+ }% END IF EMPTY GROUP
+ {% BEGIN ELSE EMPTY GROUP
+ \ifthenelse{\equal{\arabic{membranecomputing@membrane}}{1}}
+ {% BEGIN IF IN-MEMBRANE
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},1}[\lhsIC]
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},2}[\lhsIL]
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},3}[\lhsIP]
+ \StrExpand[2]{\lhsIC}{\plhsIC}
+ \renewcommand{\lhsIC}{\expandafter\plhsIC\expandafter \,}
+ }% END IF IN-MEMBRANE
+ {% BEGIN ELSE IN-MEMBRANE
+ \ifthenelse{\equal{\arabic{membranecomputing@membrane}}{2}}
+ {% BEGIN IF OUT-MEMBRANE
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},1}[\lhsOC]
+ }% END IF OUT-MEMBRANE
+ {% BEGIN ELSE OUT-MEMBRANE
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane}}[\currentMembrane]
+ \IfStrEqCase{\currentMembrane}
+ {% BEGIN CASES CURRENTMEMBRANE
+ {{.}}%
+ {% BEGIN IF ...
+ \StrExpand[2]{\lhsIC}{\plhsIC}%
+ \renewcommand{\lhsIC}{\ensuremath{\plhsIC \dots \,}}%
+ }% END IF ...
+ {{-}}%
+ {% BEGIN IF --
+ \StrExpand[2]{\lhsIC}{\plhsIC}%
+ \renewcommand{\lhsIC}{\ensuremath{\plhsIC - \,}}%
+ }% END IF --
+ {{;}}
+ {% BEGIN IF ;
+ \StrExpand[2]{\lhsIC}{\plhsIC}%
+ \renewcommand{\lhsIC}{\ensuremath{\plhsIC ; \,}}%
+ }% END IF ;
+ {\currentMembrane}
+ {% BEGIN IF OTHER
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},1}[\lhsCC]%
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},2}[\lhsCL]%
+ \StrFindGroup{#5}{\arabic{membranecomputing@membrane},3}[\lhsCP]%
+ \StrExpand[2]{\lhsIC}{\plhsIC}%
+ \StrExpand[2]{\lhsCC}{\plhsCC}%
+ \StrExpand[2]{\lhsCL}{\plhsCL}%
+ \StrExpand[2]{\lhsCP}{\plhsCP}%
+ \setcounter{membranecomputing@imembrane}{1}
+ \whiledo {\value{membranecomputing@imembrane} < 5}
+ {% BEGIN FOR IMEMBRANE
+ \stepcounter{membranecomputing@imembrane}
+ }% END FOR IMEMBRANE
+ \IfStrEq{\lhsCL}{{!}}%
+ {% BEGIN IF !
+ \renewcommand{\lhsIC}{\ensuremath{\plhsIC \{ \IfStrEq{\plhsCC}{}{\quad}{\, \plhsCC \, } \}}}
+ }% END IF !
+ {% BEGIN ELSE !
+ \renewcommand{\polW}{\ensuremath{\IfStrEq{#1}{written}{^{\plhsCP}}{}}}
+ \renewcommand{\polP}{\ensuremath{\IfStrEq{#1}{plingua}{\plhsCP}{}}}
+ \renewcommand{\labelSub}{\ensuremath{\IfStrEq{#1}{written}{_{\plhsCL}}{'\plhsCL}}}
+ \StrExpand[2]{\polW}{\ppolW}
+ \StrExpand[2]{\polP}{\ppolP}
+ \StrExpand[2]{\labelSub}{\plabelSub}
+ \renewcommand{\lhsIC}{\ensuremath{\plhsIC \ppolP[ \IfStrEq{\plhsCC}{}{\quad}{\, \plhsCC \, } ]\ppolW\plabelSub \,}}%
+ \StrExpand[2]{\lhsIC}{\plhsIC}%
+ \renewcommand{\lhsIC}{\plhsIC}%
+ }% END ELSE !
+ }% END IF OTHER
+ }% END CASES CURRENTMEMBRANE
+ }% END ELSE OUT-MEMBRANE
+ }% END ELSE IN-MEMBRANE
+ }% END ELSE EMPTY GROUP
+ \stepcounter{membranecomputing@membrane}
+ }% END FOR MEMBRANE
+ % END LHS ANALYSIS
+ % BEGIN RHS ANALYSIS
+ \renewcommand{\rhsIC}{}
+ \renewcommand{\rhsIL}{}
+ \renewcommand{\rhsIP}{}
+ \renewcommand{\rhsOC}{}
+ \setcounter{membranecomputing@membrane}{1}
+ \whiledo {\value{membranecomputing@membrane} < \numexpr#4+1\relax}
+ {% BEGIN FOR MEMBRANE
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane}}[\currentM]
+ \IfStrEq{\currentM}{{}}
+ {% BEGIN IF EMPTY GROUP
+ % EMPTY GROUP
+ }% END IF EMPTY GROUP
+ {% BEGIN ELSE EMPTY GROUP
+ \ifthenelse{\equal{\arabic{membranecomputing@membrane}}{1}}
+ {% BEGIN IF IN-MEMBRANE
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},1}[\rhsIC]
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},2}[\rhsIL]
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},3}[\rhsIP]
+ \StrExpand[2]{\rhsIC}{\prhsIC}
+ \renewcommand{\rhsIC}{\expandafter\prhsIC\expandafter \,}
+ }% END IF IN-MEMBRANE
+ {% BEGIN ELSE IN-MEMBRANE
+ \ifthenelse{\equal{\arabic{membranecomputing@membrane}}{2}}
+ {% BEGIN IF OUT-MEMBRANE
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},1}[\rhsOC]
+ % \ensuremath{}
+ }% END IF OUT-MEMBRANE
+ {% BEGIN ELSE OUT-MEMBRANE
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane}}[\currentMembrane]
+ \IfStrEqCase{\currentMembrane}
+ {% BEGIN CASES CURRENTMEMBRANE
+ {{.}}%
+ {% BEGIN IF ...
+ \StrExpand[2]{\rhsIC}{\prhsIC}%
+ \renewcommand{\rhsIC}{\ensuremath{\prhsIC \dots \,}}%
+ }% END IF ...
+ {{-}}%
+ {% BEGIN IF --
+ \StrExpand[2]{\rhsIC}{\prhsIC}%
+ \renewcommand{\rhsIC}{\ensuremath{\prhsIC - \,}}%
+ }% END IF --
+ {{;}}
+ {% BEGIN IF ;
+ \StrExpand[2]{\rhsIC}{\prhsIC}%
+ \renewcommand{\rhsIC}{\ensuremath{\prhsIC ; \,}}%
+ }% END IF ;
+ {\currentMembrane}
+ {% BEGIN IF OTHER
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},1}[\rhsCC]%
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},2}[\rhsCL]%
+ \StrFindGroup{#6}{\arabic{membranecomputing@membrane},3}[\rhsCP]%
+ \StrExpand[2]{\rhsIC}{\prhsIC}%
+ \StrExpand[2]{\rhsCC}{\prhsCC}%
+ \StrExpand[2]{\rhsCL}{\prhsCL}%
+ \StrExpand[2]{\rhsCP}{\prhsCP}%
+ \setcounter{membranecomputing@imembrane}{1}
+ \whiledo {\value{membranecomputing@imembrane} < 5}
+ {% BEGIN FOR IMEMBRANE
+ \stepcounter{membranecomputing@imembrane}
+ }% END FOR IMEMBRANE
+ \IfStrEq{\rhsCL}{{!}}%
+ {% BEGIN IF !
+ \renewcommand{\rhsIC}{\ensuremath{\prhsIC \{ \IfStrEq{\prhsCC}{}{\quad}{\, \prhsCC \, } \}}}%
+ }% END IF !
+ {% BEGIN ELSE !
+ \renewcommand{\polW}{\ensuremath{\IfStrEq{#1}{written}{^{\prhsCP}}{}}}
+ \renewcommand{\polP}{\ensuremath{\IfStrEq{#1}{plingua}{\prhsCP}{}}}
+ \renewcommand{\labelSub}{\ensuremath{\IfStrEq{#1}{written}{_{\prhsCL}}{'\prhsCL}}}
+ \StrExpand[2]{\polW}{\ppolW}
+ \StrExpand[2]{\polP}{\ppolP}
+ \StrExpand[2]{\labelSub}{\plabelSub}
+ \renewcommand{\rhsIC}{\ensuremath{\prhsIC \ppolP[ \IfStrEq{\prhsCC}{}{\quad}{\, \prhsCC \, } ]\ppolW\plabelSub \,}}%
+ \StrExpand[2]{\rhsIC}{\prhsIC}%
+ \renewcommand{\rhsIC}{\prhsIC}%
+ }% END ELSE !
+ }% END IF OTHER
+ }% END CASES CURRENTMEMBRANE
+ }% END ELSE OUT-MEMBRANE
+ }% END ELSE IN-MEMBRANE
+ }% END ELSE EMPTY GROUP
+ \stepcounter{membranecomputing@membrane}
+ }% END FOR MEMBRANE
+ % END RHS ANALYSIS
+ \StrFindGroup{#5}{1}[\lhsM]
+ \StrFindGroup{#6}{1}[\rhsM]
+ \renewcommand{\polWL}{\ensuremath{\IfStrEq{#1}{written}{^{\lhsIP}}{}}}
+ \renewcommand{\polPL}{\ensuremath{\IfStrEq{#1}{plingua}{\lhsIP}{}}}
+ \renewcommand{\labelSubL}{\ensuremath{\IfStrEq{#1}{written}{_{\lhsIL}}{'\lhsIL}}}
+ \renewcommand{\polWR}{\ensuremath{\IfStrEq{#1}{written}{^{\rhsIP}}{}}}
+ \renewcommand{\polPR}{\ensuremath{\IfStrEq{#1}{plingua}{\rhsIP}{}}}
+ \renewcommand{\labelSubR}{\ensuremath{\IfStrEq{#1}{written}{_{\rhsIL}}{'\rhsIL}}}
+ \formatRule{#1}{#2}{\ifthenelse{\equal{\lhsOC}{}}{}{\lhsOC \,} \IfStrEq{\lhsM}{{}}{}{\polPL\left[} \ifthenelse{\equal{\protect\lhsIC}{}}{\quad}{ \, \lhsIC } \IfStrEq{\lhsM}{{}}{}{\right]\polWL\labelSubL}}{\ifthenelse{\equal{\rhsOC}{}}{}{\rhsOC \,}
+ \IfStrEq{\rhsM}{{}}{}{\polPR\left[} \ifthenelse{\equal{\protect\rhsIC}{}}{\quad}{ \, \rhsIC } \IfStrEq{\rhsM}{{}}{}{\right]\polWR\labelSubR}}
+ % \ensuremath{\ifthenelse{\equal{\lhsOC}{}}{}{\lhsOC \,} \IfStrEq{\lhsM}{{}}{}{\left[} \ifthenelse{\equal{\protect\lhsIC}{}}{\quad}{ \, \lhsIC } \IfStrEq{\lhsM}{{}}{}{\right]^{\lhsIP}_{\lhsIL}} \rightarrow \ifthenelse{\equal{\rhsOC}{}}{}{\rhsOC \,}
+ % \IfStrEq{\rhsM}{{}}{}{\left[} \ifthenelse{\equal{\protect\rhsIC}{}}{\quad}{ \, \rhsIC } \IfStrEq{\rhsM}{{}}{}{\right]^{\rhsIP}_{\rhsIL}}}
+ }% END IF MULTIPLE
+ {paren}
+ {% BEGIN IF PAREN
+ \ifthenelse{\equal{#6}{}}
+ {% BEGIN IF ONE SIDE
+ \StrFindGroup{#5}{1}[\lhsC]
+ \StrFindGroup{#5}{2}[\lhsL]
+ \ensuremath{\left( \lhsC, \lhsL \right)}
+ }% END IF ONE SIDE
+ {% BEGIN ELSE ONE SIDE
+ \StrFindGroup{#5}{1}[\lhsC]
+ \StrFindGroup{#6}{1}[\rhsC]
+ \StrFindGroup{#5}{2}[\lhsL]
+ \StrFindGroup{#6}{2}[\rhsL]
+ \formatRule{#1}{#2}{\left( \lhsL, \lhsC}{\rhsC, \rhsL \right)}
+ % \ensuremath{\left( \lhsL, \lhsC / \rhsC, \rhsL \right)}
+ }% END ELSE ONE SIDE
+ }% END IF PAREN
+ {spike}
+ {% BEGIN IF SPIKE
+ \renewcommand{\lhsE}{}
+ \renewcommand{\lhsS}{}
+ \renewcommand{\rhsS}{}
+ \renewcommand{\rhsD}{}
+ \StrFindGroup{#5}{1}[\lhsE]
+ \StrFindGroup{#5}{2}[\lhsS]
+ \StrFindGroup{#6}{1}[\rhsS]
+ \StrFindGroup{#6}{2}[\rhsD]
+ \ensuremath{\ifthenelse{\equal{\lhsE}{{}}}{}{\lhsE /} \lhsS \rightarrow \rhsS \ifthenelse{\equal{\rhsD}{}}{}{; \rhsD}}
+ }% END IF SPIKE
+ }% END CASES TYPE
+ [\PackageError{rule}{Undefined option to rule: #2}]
+}% END COMMAND RULE
+
+% Templates for P systems
+
+\newcommand{\psystemAM}[1][nonrecognizer]{\psystem[#1]{cell}{activemembranes}{}{}}
+\newcommand{\rpsystemAM}{\psystemAM[recognizer]}
+\newcommand{\psystemSA}[1][nonrecognizer]{\psystem[#1]{tissue}{symportantiport}{}{}}
+\newcommand{\rpsystemSA}{\psystemSA[recognizer]}
+\newcommand{\SNpsystem}[1][nonrecognizer]{\psystem[#1]{tissue}{spiking}{}{}}
+\newcommand{\rSNpsystem}{\SNpsystem[recognizer]}
+\newcommand{\kpsystem}[1][nonrecognizer]{\psystem[#1]{cell}{kernel}{}{}}
+\newcommand{\rkpsystem}{\kpsystem[recognizer]}
+\newcommand{\pcolony}[1][nonrecognizer]{\psystem[#1]{tissue}{colony}{}{}}
+\newcommand{\rpcolony}{\pcolony[recognizer]}
+
+% Rule examples and templates
+
+\newcommand{\rewriting}[2]{\wrule[rewriting]{}{}{#1}{#2}}
+\newcommand{\rewritingT}{\rewriting{u}{v}}
+
+\newcommand{\evolution}[4]{\wrule[single]{}{}{{#1}{#3}{#4}}{{#2}}}
+\newcommand{\evolutionT}{\evolution{a}{b}{h}{\alpha}}
+
+\newcommand{\evolutionP}[4]{\prule[single]{}{}{{#1}{#3}{#4}}{{#2}}}
+\newcommand{\evolutionPT}{\evolutionP{a}{b}{h}{\alpha}}
+
+\newcommand{\pevolution}[3]{\wrule[single]{}{}{{#1}{#3}}{{#2}}}
+\newcommand{\pevolutionT}{\pevolution{a}{b}{h}}
+
+\newcommand{\pevolutionP}[3]{\evolutionP{#1}{#2}{#3}{}}
+\newcommand{\pevolutionPT}{\pevolutionP{a}{b}{h}}
+
+\newcommand{\antiport}[4]{\wrule[paren]{}{}{{#1}{#2}}{{#3}{#4}}}
+\newcommand{\antiportT}{\antiport{u}{i}{v}{j}}
+\newcommand{\symportT}{\antiport{u}{i}{\lambda}{j}}
+
+\newcommand{\antiportP}[4]{\prule[paren]{}{}{{#1}{#2}}{{#3}{#4}}}
+\newcommand{\antiportPT}{\antiportP{u}{i}{v}{j}}
+\newcommand{\symportPT}{\antiportP{u}{i}{\lambda}{j}}
+
+\newcommand{\sendin}[5]{\wrule{2}{1}{{{}{#3}{#4}}{{#1}}}{{{#2}{#3}{#5}}}}
+\newcommand{\sendinT}{\sendin{a}{b}{h}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\sendinP}[5]{\prule{2}{1}{{{}{#3}{#4}}{{#1}}}{{{#2}{#3}{#5}}}}
+\newcommand{\sendinPT}{\sendinP{a}{b}{h}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\psendin}[3]{\sendin{#1}{#2}{#3}{}{}}
+\newcommand{\psendinT}{\psendin{a}{b}{h}}
+
+\newcommand{\psendinP}[3]{\sendinP{#1}{#2}{#3}{}{}}
+\newcommand{\psendinPT}{\psendinP{a}{b}{h}}
+
+\newcommand{\sendout}[5]{\wrule{1}{2}{{{#1}{#3}{#4}}}{{{}{#3}{#5}}{{#2}}}}
+\newcommand{\sendoutT}{\sendout{a}{b}{h}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\sendoutP}[5]{\prule{1}{2}{{{#1}{#3}{#4}}}{{{}{#3}{#5}}{{#2}}}}
+\newcommand{\sendoutPT}{\sendout{a}{b}{h}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\psendout}[3]{\sendout{#1}{#2}{#3}{}{}}
+\newcommand{\psendoutT}{\psendout{a}{b}{h}}
+
+\newcommand{\psendoutP}[3]{\sendoutP{#1}{#2}{#3}{}{}}
+\newcommand{\psendoutPT}{\psendoutP{a}{b}{h}}
+
+\newcommand{\dissolution}[4]{\wrule{3}{2}{{}{}{{#1}{#3}{#4}}}{{}{{#2}}}}
+\newcommand{\dissolutionT}{\dissolution{a}{b}{h}{\alpha}}
+
+\newcommand{\dissolutionP}[4]{\prule{3}{2}{{}{}{{#1}{#3}{#4}}}{{}{{#2}}}}
+\newcommand{\dissolutionPT}{\dissolutionP{a}{b}{h}{\alpha}}
+
+\newcommand{\pdissolution}[3]{\dissolution{#1}{#2}{#3}{}}
+\newcommand{\pdissolutionT}{\pdissolution{a}{b}{h}}
+
+\newcommand{\pdissolutionP}[3]{\dissolutionP{#1}{#2}{#3}{}}
+\newcommand{\pdissolutionPT}{\pdissolutionP{a}{b}{h}}
+
+\newcommand{\division}[7]{\wrule{1}{4}{{{#1}{#4}{#5}}{}}{{}{}{{#2}{#4}{#6}}{{#3}{#4}{#7}}}}
+\newcommand{\divisionT}{\division{a}{b}{c}{h}{\alpha}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\divisionP}[7]{\prule{1}{4}{{{#1}{#4}{#5}}{}}{{}{}{{#2}{#4}{#6}}{{#3}{#4}{#7}}}}
+\newcommand{\divisionPT}{\divisionP{a}{b}{c}{h}{\alpha}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\pdivision}[4]{\division{#1}{#2}{#3}{#4}{}{}{}}
+\newcommand{\pdivisionT}{\pdivision{a}{b}{c}{h}}
+
+\newcommand{\pdivisionP}[4]{\divisionP{#1}{#2}{}{#3}{}{#4}{}}
+\newcommand{\pdivisionPT}{\pdivisionP{a}{h}{b}{c}}
+
+\newcommand{\separation}[5]{\wrule{1}{4}{{{#1}{#2}{#3}}{}}{{}{}{{\wa_{0}}{#2}{#4}}{{\wa_{1}}{#2}{#5}}}}
+\newcommand{\separationT}{\separation{a}{h}{\alpha}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\separationP}[5]{\prule{1}{4}{{{#1}{#2}{#3}}{}}{{}{}{{\wa_{0}}{#2}{#4}}{{\wa_{1}}{#2}{#5}}}}
+\newcommand{\separationPT}{\separationP{a}{h}{\alpha}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\pseparation}[2]{\separation{#1}{#2}{}{}{}}
+\newcommand{\pseparationT}{\pseparation{a}{h}}
+
+\newcommand{\pseparationP}[2]{\separationP{#1}{#2}{}{}{}}
+\newcommand{\pseparationPT}{\pseparationP{a}{h}}
+
+\newcommand{\creation}[8]{\wrule{1}{3}{{{#1}{#4}{#6}}}{{{#2}{#4}{#7}}{}{{#3}{#5}{#8}}}}
+\newcommand{\creationT}{\creation{a}{b}{c}{h}{h_{1}}{\alpha}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\creationP}[8]{\prule{1}{3}{{{#1}{#4}{#6}}}{{{#2}{#4}{#7}}{}{{#3}{#5}{#8}}}}
+\newcommand{\creationPT}{\creationP{a}{b}{c}{h}{h_{1}}{\alpha}{\alpha_{1}}{\alpha_{2}}}
+
+\newcommand{\pcreation}[5]{\creation{#1}{#2}{#3}{#4}{#5}{}{}{}}
+\newcommand{\pcreationT}{\pcreation{a}{b}{c}{h}{h_{1}}}
+
+\newcommand{\pcreationP}[5]{\creationP{#1}{#2}{#3}{#4}{#5}{}{}{}}
+\newcommand{\pcreationPT}{\pcreationP{a}{b}{c}{h}{h_{1}}}
+
+\newcommand{\spiking}[4]{\wrule[spike]{}{}{{#1}{#2}}{{#3}{#4}}}
+\newcommand{\spikingT}{\spiking{E}{a^{n}}{a}{d}}
+\newcommand{\forgettingT}{\spiking{}{a^{n}}{\lambda}{}}
+
+\newcommand{\spikingP}[4]{\prule[spike]{}{}{{#1}{#2}}{{#3}{#4}}}
+\newcommand{\spikingPT}{\spikingP{E}{a^{n}}{a}{d}}
+\newcommand{\forgettingPT}{\spikingP{}{a^{n}}{\lambda}{}}
+
+\newcommand{\krewriting}[3]{\wrule{2}{3}{{}{{#1}}}{{}{{#2}}{{#3}{!}}}}
+\newcommand{\krewritingT}{\krewriting{x}{y}{g}}
+
+\newcommand{\krewritingP}[3]{\prule{2}{3}{{}{{#1}}}{{}{{#2}}{{#3}{!}}}}
+\newcommand{\krewritingPT}{\krewritingP{x}{y}{g}}
+
+\newcommand{\linkcreation}[5]{\wrule{5}{6}{{}{}{{#1}{#3}}{;}{{}{#4}}}{{}{}{{#2}{#3}}{-}{{}{#4}}{{#5}{!}}}}
+\newcommand{\linkcreationT}{\linkcreation{x}{y}{t_{l_{i}}}{t_{l_{j}}}{g}}
+
+\newcommand{\linkcreationP}[5]{\prule{5}{6}{{}{}{{#1}{#3}}{;}{{}{#4}}}{{}{}{{#2}{#3}}{-}{{}{#4}}{{#5}{!}}}}
+\newcommand{\linkcreationPT}{\linkcreationP{x}{y}{t_{l_{i}}}{t_{l_{j}}}{g}}
+
+\newcommand{\linkdestruction}[5]{\wrule{5}{6}{{}{}{{#1}{#3}}{-}{{}{#4}}}{{}{}{{#2}{#3}}{;}{{}{#4}}{{#5}{!}}}}
+\newcommand{\linkdestructionT}{\linkdestruction{x}{y}{t_{l_{i}}}{t_{l_{j}}}{g}}
+
+\newcommand{\linkdestructionP}[5]{\prule{5}{6}{{}{}{{#1}{#3}}{-}{{}{#4}}}{{}{}{{#2}{#3}}{;}{{}{#4}}{{#5}{!}}}}
+\newcommand{\linkdestructionPT}{\linkdestructionP{x}{y}{t_{l_{i}}}{t_{l_{j}}}{g}}
+
+% Families of P systems
+
+\newcommand{\Pfamily}[4]{\ensuremath{\mathcal{#1}^{#2}_{#3} \IfStrEq{#4}{}{}{( #4 )}}}
+\newcommand{\AM}[2][]{\Pfamily{AM}{#1}{}{#2}}
+\newcommand{\AMO}[1]{\Pfamily{AM}{0}{}{#1}}
+\newcommand{\TC}[2][]{\Pfamily{T#1C}{}{}{#2}}
+\newcommand{\TDC}[1]{\TC[D]{#1}}
+\newcommand{\TSC}[1]{\TC[S]{#1}}
+\newcommand{\CC}[2][]{\Pfamily{C#1C}{}{}{#2}}
+\newcommand{\CDC}[1]{\CC[D]{#1}}
+\newcommand{\CSC}[1]{\CC[S]{#1}}
+\newcommand{\TEC}[2][]{\TC[#1E]{#2}}
+\newcommand{\TDEC}[1]{\TEC[D]{#1}}
+\newcommand{\TSEC}[1]{\TEC[S]{#1}}
+\newcommand{\CEC}[2][]{\CC[#1E]{#2}}
+\newcommand{\CDEC}[1]{\CEC[D]{#1}}
+\newcommand{\CSEC}[1]{\CEC[S]{#1}}
+
+% Terms of computability theory
+
+\newcommand{\compSet}[1]{\ensuremath{#1}}
+\newcommand{\REG}{\compSet{REG}}
+\newcommand{\LIN}{\compSet{LIN}}
+\newcommand{\CF}{\compSet{CF}}
+\newcommand{\CS}{\compSet{CS}}
+\newcommand{\RE}{\compSet{RE}}
+
+% Terms of computational complexity theory
+
+\newcommand{\complClass}[3]{\ensuremath{\mathbf{#1MC}^{#2}_{#3}}}
+\newcommand{\PMC}[2][]{\complClass{P}{#1}{#2}}
+\newcommand{\PSPACEMC}[2][]{\complClass{PSPACE}{#1}{#2}}
+\newcommand{\EXPMC}[2][]{\complClass{EXP}{#1}{#2}}
+\newcommand{\EXPSPACEMC}[2][]{\complClass{EXPPSPACE}{#1}{#2}}
+
+\fullexpandarg
+\noexploregroups
+
+\endinput
+
+v0.1 23/07/2020
+ - Created package
+ - Created some examples and templates \ No newline at end of file