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