From a946a2d5b39d56062864e574580361a7903ab2e8 Mon Sep 17 00:00:00 2001
From: Eric Zhao <21zhaoe@protonmail.com>
Date: Sun, 8 Oct 2023 20:34:03 -0400
Subject: [PATCH] formalism: Use underline instead of hat for zexp

---
 formalism/symbols/untyped.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/formalism/symbols/untyped.tex b/formalism/symbols/untyped.tex
index 0d35afd..91dae5e 100644
--- 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}