Commit af47b1b9 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

domega changed

parent 7070ad26
......@@ -69,7 +69,7 @@
\newcommand {\Constants} {\mathcal{C}}
\newcommand {\TypeInter}[1] {\llbracket #1 \rrbracket}
\def\dbar{{\mkern3mu\mathchar'26\mkern-7mu\raisebox{-.7pt}{$\mathchar'26$}\mkern-11mu d}}
\newcommand {\domega} {\dbar} %possibilities: \dbar \dh \dj \delta
\newcommand {\domega} {\partial} %possibilities: \dbar \dh \dj \delta
\newcommand {\Set}[1] {\{#1\}}
\newcommand {\ConstantsInBasicType} {\mathbb{B}}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment