Commit f9a1045e authored by Ralf Jung's avatar Ralf Jung

different style for mval

parent b592424f
Pipeline #297 passed with stage
...@@ -122,7 +122,7 @@ ...@@ -122,7 +122,7 @@
\newcommand{\textmon}[1]{\textsc{#1}} \newcommand{\textmon}[1]{\textsc{#1}}
\newcommand{\monoid}{M} \newcommand{\monoid}{M}
\newcommand{\mval}{V} \newcommand{\mval}{\mathcal{V}}
\newcommand{\melt}{a} \newcommand{\melt}{a}
\newcommand{\meltB}{b} \newcommand{\meltB}{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