diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-07 13:21:08 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-07 13:27:36 +0100 |
commit | 81fdd3f346ed286cbf413515e66f21fcd3c28d27 (patch) | |
tree | e03dfdb8a99181aae2536cf49d5da12a6c5d8bf5 /definitions.sty | |
parent | 9eac34349bdf4a0e7a7c57f62a7c8f97ef93d510 (diff) |
Formally show automaton
Diffstat (limited to 'definitions.sty')
-rw-r--r-- | definitions.sty | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/definitions.sty b/definitions.sty index 829564d..7d06de4 100644 --- a/definitions.sty +++ b/definitions.sty @@ -29,6 +29,9 @@ \newcommand{\definedterm}[1]{\emph{#1}} +\newcommand{\leftsymbol}{\mathsf{left}} +\newcommand{\rightsymbol}{\mathsf{right}} + \newcommand{\data}[1]{\mathsf{#1}} \newcommand{\infixtable}{\data{in}} \newcommand{\posttable}{\data{post}} |