ODIn/paper-BagRelationalPDBsAreHard
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

macros

Browse source
This commit is contained in:
Boris Glavic 2020-12-13 10:10:22 -06:00
parent 1074db700e
commit 81405337ff
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
macros.tex
View file

@ -295,7 +295,6 @@
\newcommand{\addormultsymbol}{\bigcdot}
\newcommand{\monsymbol}{\ominus}
\newcommand{\domK}{K}
\newcommand{\addK}{\addsymbol_{\semK}}
\newcommand{\multK}{\multsymb_{\semK}}
\newcommand{\genopK}{\odot_{\semK}}