From ec509f78901d7b2a2ae4a475c1045a3cd45fee3d Mon Sep 17 00:00:00 2001 From: oskar Date: Wed, 21 Jan 2026 11:25:04 +0100 Subject: [PATCH] eduroam-prg-og-1-30-122.net.univ-paris-diderot.fr 2026-1-21:11:25:4 --- syntax, semantics, discourse 2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/syntax, semantics, discourse 2.md b/syntax, semantics, discourse 2.md index 4b3bed33..d48b33ce 100644 --- a/syntax, semantics, discourse 2.md +++ b/syntax, semantics, discourse 2.md @@ -42,4 +42,4 @@ language meaning need to satisfy a constraint much more concrete than [[composit - Every / each $\mapsto$ $\forall x$ - $\vdots$ - = A famous supervisor directs every student here. - - $\exists x (\operatorname{fam-\sup\limits}$ \ No newline at end of file + - $\exists x (\operatorname{fam-sup}()$ \ No newline at end of file