diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-08-16 10:40:10 -0400 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-08-16 10:40:10 -0400 |
| commit | edc074ebd0586a7fcf46bc58d9d2a0c256422f26 (patch) | |
| tree | 5421cda71f46907c49b496fc5c499e16dc047cf8 /definitions.sty | |
| parent | b61f6033fad9adf56be2676cf9e3dd265df37911 (diff) | |
Add and use definitions, first draft MSO query answering
Diffstat (limited to 'definitions.sty')
| -rw-r--r-- | definitions.sty | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/definitions.sty b/definitions.sty index 1105fb3..3651d78 100644 --- a/definitions.sty +++ b/definitions.sty @@ -2,6 +2,8 @@ \newtheorem{definition}{Definition}[chapter] \newtheorem{theorem}{Theorem}[chapter] +\newtheorem{lemma}{Lemma}[chapter] +\newtheorem{observation}{observation}[chapter] % #1 (optional): Fixed parameters of the problem % #2: Name of query problem @@ -19,4 +21,12 @@ \newcommand{\definedterm}[1]{\emph{#1}} +\newcommand{\data}[1]{\textsf{#1}} +\newcommand{\infixtable}{\data{in}} +\newcommand{\posttable}{\data{post}} +\newcommand{\prefixtable}{\data{pre}} +\newcommand{\indextable}{\data{index}} +\newcommand{\componenttable}{\data{component}} +\newcommand{\breaktable}{\data{break}} + \newcommand{\mathlca}{\mathit{LCA}} |