Clean up some comments

src/semantics/denote.ts

@@ -103,7 +103,7 @@ const taBindings: Bindings = {
 	head: {},
 };
 
-// λ𝘗. λ𝘵. ∃𝘦. (τ(𝘦) ⊆ 𝘵) ∧ 𝘗(𝘦)
+// λ𝘗. λ𝘵. ∃𝘦. τ(𝘦) ⊆ 𝘵 ∧ 𝘗(𝘦)
 const tam = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -115,7 +115,7 @@ const tam = λ(['v', 't'], [], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∀𝘸' : ɪᴡ(𝘸')(𝘸)(𝘵). ∃𝘦. (𝘵 ⊆ τ(𝘦)) ∧ 𝘗(𝘦)(𝘸')
+// λ𝘗. λ𝘵. ∀𝘸' : ɪᴡ(𝘸')(𝘸)(𝘵). ∃𝘦. 𝘵 ⊆ τ(𝘦) ∧ 𝘗(𝘦)(𝘸')
 const chum = λ(['v', ['s', 't']], ['s'], c =>
 	λ('i', c, c =>
 		every(
@@ -133,7 +133,7 @@ const chum = λ(['v', ['s', 't']], ['s'], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∃𝘦. (τ(𝘦) < 𝘵) ∧ 𝘗(𝘦)
+// λ𝘗. λ𝘵. ∃𝘦. τ(𝘦) < 𝘵 ∧ 𝘗(𝘦)
 const lui = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -145,7 +145,7 @@ const lui = λ(['v', 't'], [], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∃𝘦. (τ(𝘦) > 𝘵) ∧ 𝘗(𝘦)
+// λ𝘗. λ𝘵. ∃𝘦. τ(𝘦) > 𝘵 ∧ 𝘗(𝘦)
 const za = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -157,7 +157,7 @@ const za = λ(['v', 't'], [], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∃𝘦. (𝘵 ⊆ τ(𝘦)) ∧ ((𝘵 > ExpEnd(𝘦)) ∧ 𝘗(𝘦))
+// λ𝘗. λ𝘵. ∃𝘦. 𝘵 ⊆ τ(𝘦) ∧ 𝘵 > ExpEnd(𝘦) ∧ 𝘗(𝘦)
 const hoai = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -172,7 +172,7 @@ const hoai = λ(['v', 't'], [], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∃𝘦. (𝘵 ⊆ τ(𝘦)) ∧ ((𝘵 < ExpStart(𝘦)) ∧ 𝘗(𝘦))
+// λ𝘗. λ𝘵. ∃𝘦. 𝘵 ⊆ τ(𝘦) ∧ 𝘵 < ExpStart(𝘦) ∧ 𝘗(𝘦)
 const hai = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -187,7 +187,7 @@ const hai = λ(['v', 't'], [], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∃𝘦. (τ(𝘦) <.near 𝘵) ∧ 𝘗(𝘦)
+// λ𝘗. λ𝘵. ∃𝘦. τ(𝘦) <.near 𝘵 ∧ 𝘗(𝘦)
 const hiq = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -199,7 +199,7 @@ const hiq = λ(['v', 't'], [], c =>
 	),
 );
 
-// λ𝘗. λ𝘵. ∃𝘦. (τ(𝘦) >.near 𝘵) ∧ 𝘗(𝘦)
+// λ𝘗. λ𝘵. ∃𝘦. τ(𝘦) >.near 𝘵 ∧ 𝘗(𝘦)
 const fi = λ(['v', 't'], [], c =>
 	λ('i', c, c =>
 		some('v', c, c =>
@@ -237,16 +237,16 @@ function denoteAspect(toaq: string): Expr {
 // t
 const defaultTense = v(0, ['i']);
 
-// t | (t ⊆ t0)
+// t | t ⊆ t0
 const nai = presuppose(
 	v(0, ['i']),
 	subinterval(v(0, ['i']), speechTime(['i'])),
 );
 
-// t | (t < t0)
+// t | t < t0
 const pu = presuppose(v(0, ['i']), before(v(0, ['i']), speechTime(['i'])));
 
-// t | (t > t0)
+// t | t > t0
 const jia = presuppose(v(0, ['i']), after(v(0, ['i']), speechTime(['i'])));
 
 // λ𝘗. ∃𝘵. 𝘗(𝘵)