diff options
| author | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
|---|---|---|
| committer | Mattias Andrée <m@maandree.se> | 2026-06-01 19:07:14 +0200 |
| commit | 77ade8d20906fe9ca2cf6788ff1e1437e0912868 (patch) | |
| tree | 61495e90e057bf792bb1d8ce157cef0ecc2ab696 /libnormalform_transformation.c | |
| parent | First commit (diff) | |
| download | libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.gz libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.bz2 libnormalform-77ade8d20906fe9ca2cf6788ff1e1437e0912868.tar.xz | |
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to 'libnormalform_transformation.c')
| -rw-r--r-- | libnormalform_transformation.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libnormalform_transformation.c b/libnormalform_transformation.c index 3a1218b..82d794d 100644 --- a/libnormalform_transformation.c +++ b/libnormalform_transformation.c @@ -284,28 +284,28 @@ main(void) ASSERT(LEFT(b)->data.trans.input != RIGHT(b)->data.trans.input); libnormalform_free(b); - /* F(Q(q)∀{p,q}:P(p)) illegal construct */ + /* F(Q(q)∀⟨p,q⟩:P(p)) illegal construct */ ASSUME(a = libnormalform_function(&fun1)); ASSUME(b = libnormalform_function(&fun2)); ASSUME(a = libnormalform_all(&dom1, a, b)); errno = 0; ASSERT(!libnormalform_transformation(&trans1, a) && errno == EDOM); - /* F(Q(q)∃{p,q}:P(p)) illegal construct */ + /* F(Q(q)∃⟨p,q⟩:P(p)) illegal construct */ ASSUME(a = libnormalform_function(&fun1)); ASSUME(b = libnormalform_function(&fun2)); ASSUME(a = libnormalform_any(&dom1, a, b)); errno = 0; ASSERT(!libnormalform_transformation(&trans1, a) && errno == EDOM); - /* F(Q(q)∃!{p,q}:P(p)) illegal construct */ + /* F(Q(q)∃!⟨p,q⟩:P(p)) illegal construct */ ASSUME(a = libnormalform_function(&fun1)); ASSUME(b = libnormalform_function(&fun2)); ASSUME(a = libnormalform_one(&dom1, a, b)); errno = 0; ASSERT(!libnormalform_transformation(&trans1, a) && errno == EDOM); - /* F(¬(Q(q)∃!{p,q}:P(p))) illegal construct */ + /* F(¬(Q(q)∃!⟨p,q⟩:P(p))) illegal construct */ ASSUME(a = libnormalform_function(&fun1)); ASSUME(b = libnormalform_function(&fun2)); ASSUME(a = libnormalform_one(&dom1, a, b)); |