diff --git a/src/semantics/render.ts b/src/semantics/render.ts
index e7e8555..a3f3c86 100644
--- a/src/semantics/render.ts
+++ b/src/semantics/render.ts
@@ -391,7 +391,7 @@ const json: Format<JsonExprIntermediate> = {
 	symbolForQuantifier: quantifier => quantifier,
 	quantifier: (symbol, name, body) =>
 		({
-			[symbol as Quantifier]: name as string,
+			[symbol as Quantifier]: (name as { variable: string }).variable,
 			body: body as JsonExpr,
 		}) as JsonQuantifierExpr,
 	restrictedQuantifier: (symbol, name, restriction, body) =>