formalism: Use underline instead of hat for zexp

hazelgrove · Oct 10, 2023 · 807ff96 · 807ff96
1 parent 32409c3
commit 807ff96
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/formalism/symbols/untyped.tex b/formalism/symbols/untyped.tex
@@ -4,8 +4,8 @@
 % zippered types
 %
 \newcommand{\ZTMName}{{\normalfont\textsf{ZType}}}
-\newcommand{\ZTMSet}{\ensuremath{\hat{T}}}
-\newcommand{\ZTMV}{\ensuremath{\hat{\tau}}}
+\newcommand{\ZTMSet}{\ensuremath{\underline{T}}}
+\newcommand{\ZTMV}{\ensuremath{\underline{\tau}}}
 
 % cursor
 \newcommand{\ZTCursor}[1]{\ensuremath{\ZCursor{#1}}}
@@ -20,8 +20,8 @@
 % zippered expressions
 %
 \newcommand{\ZMName}{{\normalfont\textsf{ZExp}}}
-\newcommand{\ZMSet}{\ensuremath{\hat{E}}}
-\newcommand{\ZMV}{\ensuremath{\hat{e}}}
+\newcommand{\ZMSet}{\ensuremath{\underline{E}}}
+\newcommand{\ZMV}{\ensuremath{\underline{e}}}
 
 % cursor
 \definecolor{cursorhighlight}{RGB}{230,255,230}