diff options
Diffstat (limited to 'regress/char/unicode')
-rw-r--r-- | regress/char/unicode/namediff.out_ascii | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/regress/char/unicode/namediff.out_ascii b/regress/char/unicode/namediff.out_ascii index 8e309636..456f9ad6 100644 --- a/regress/char/unicode/namediff.out_ascii +++ b/regress/char/unicode/namediff.out_ascii @@ -14,11 +14,11 @@ DDEESSCCRRIIPPTTIIOONN PP SCRIPT CAPITAL P ^v^v UP DOWN ARROW ^=v^=v UP DOWN DOUBLE ARROW - TTTT N-ARY PRODUCT - UU N-ARY COPRODUCT - EE N-ARY SUMMATION - (!=(!= NOT A SUBSET OF - !=)!=) NOT A SUPERSET OF + <product><product> N-ARY PRODUCT + <coproduct><coproduct> N-ARY COPRODUCT + <sum><sum> N-ARY SUMMATION + <not subset><not subset> NOT A SUBSET OF + <not superset><not superset> NOT A SUPERSET OF // LEFT PARENTHESIS UPPER HOOK || LEFT PARENTHESIS EXTENSION \\ LEFT PARENTHESIS LOWER HOOK |