diff --git a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart
index b71c078214..6ed1f5421c 100644
--- a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart
@@ -8,6 +8,7 @@
 /// A superclass of C cannot declare such an initializer either, because it must
 /// necessarily declare constant constructor as well (unless it is Object, which
 /// declares no instance variables)
+///
 /// @description Checks that compile error is produced if class declares a
 /// constant constructor and its superclass has instance variable initialized
 /// by non-constant expression
diff --git a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart
index 8ddeaa50c1..6d66708cd6 100644
--- a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart
@@ -6,11 +6,11 @@
 /// by a class C if any instance variable declared in C is initialized with an
 /// expression that is not a constant expression.
 /// A superclass of C cannot declare such an initializer either, because it must
-/// necessarily declare constant constructor as well (unless it is Object, which declares
-/// no instance variables)
+/// necessarily declare constant constructor as well (unless it is Object, which
+/// declares no instance variables)
 ///
 /// @description Checks that compile error is produced if class declares a
-/// constant constructor and its superclass has overriden instance variable
+/// constant constructor and its superclass has overridden instance variable
 /// initialized by non-constant expression.
 /// @author sgrekhov@unipro.ru
 
diff --git a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart
index 4aa6a7eef1..0564c92f92 100644
--- a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart
@@ -6,8 +6,9 @@
 /// by a class C if any instance variable declared in C is initialized with an
 /// expression that is not a constant expression.
 /// A superclass of C cannot declare such an initializer either, because it must
-/// necessarily declare constant constructor as well (unless it is Object, which declares
-/// no instance variables)
+/// necessarily declare constant constructor as well (unless it is Object, which
+/// declares no instance variables)
+///
 /// @description Checks that compile error is produced if class declares a
 /// constant constructor and its superclass has instance variable initialized
 /// by non-constant expression. Test type alias
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t01.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t01.dart
index 532e11ee77..e749478041 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t01.dart
@@ -4,11 +4,11 @@
 
 /// @assertion The following names are allowed for user-defined operators:
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that the listed operators may indeed be defined in a 
 /// user class.
 /// @author vasya
 
-
 import "../../../../Utils/expect.dart";
 
 class C {
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t02.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t02.dart
index a2fca09ae5..0375500dc4 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t02.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators:
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator != cannot be defined in a user class.
 /// @author vasya
 
-
 class C {
   operator !=(other) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t03.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t03.dart
index 36edad1d73..c948f53724 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t03.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t03.dart
@@ -4,11 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator !== cannot be defined in a user class.
 /// @author iefremov
 
-
-
 class C {
   operator !==(other) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t04.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t04.dart
index 10c293a9b8..22aedfff07 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t04.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t04.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator === cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator ===(other) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t05.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t05.dart
index a6d2e7c3a1..8b0a42b946 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t05.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t05.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator ! cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   bool operator !() {}
 //              ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t06.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t06.dart
index 2c8f12083d..cc8d843fde 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t06.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t06.dart
@@ -4,9 +4,9 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator = cannot be defined in a user class.
 
-
 class C {
   operator =(x) {}
 //               ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t07.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t07.dart
index f59f45d259..72f1d660b2 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t07.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t07.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator += cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator +=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t08.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t08.dart
index aa06b61118..ac3ed8fee2 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t08.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t08.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator -= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator -=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t09.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t09.dart
index 35aa535819..5e95bf5a04 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t09.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t09.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator *= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator *=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t10.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t10.dart
index 2a8b851152..c1720e96ef 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t10.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t10.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator /= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator /=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t11.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t11.dart
index 3dc7fe4d35..6c2fff4e56 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t11.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t11.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator ~/= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator ~/=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t12.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t12.dart
index 84418aa1bd..3ca2ce46cd 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t12.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t12.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator %= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator %=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t13.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t13.dart
index 00a9c24603..dc14851530 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t13.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t13.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator <<= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator <<=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t14.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t14.dart
index 98aa28dd89..b8e3378a9c 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t14.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t14.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator >>= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator >>=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t15.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t15.dart
index 6f57b2abd4..027fbba98d 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t15.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t15.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator &= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator &=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t16.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t16.dart
index 83e91f2079..ff34b83f59 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t16.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t16.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator |= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator |=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t17.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t17.dart
index adc3298cf6..6e502d3845 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t17.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t17.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator ^= cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator ^=(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t18.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t18.dart
index bfd3174803..85d420a76a 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t18.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t18.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator ++ cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator ++() {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t19.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t19.dart
index 86b8856ef8..fbb2717551 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t19.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t19.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator -- cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator --() {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t20.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t20.dart
index 82e00da5ea..00760f5a86 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t20.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t20.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator is cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator is(x) {}
 //           ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t21.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t21.dart
index bfd82fb3bb..a92bbed6db 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t21.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t21.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator && cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator &&(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t22.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t22.dart
index 71d0d5b2ca..4a41e98f4b 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t22.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t22.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator || cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator ||(x) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/allowed_names_t23.dart b/Language/Classes/Instance_Methods/Operators/allowed_names_t23.dart
index 7be9f2f39a..c0f851cf08 100644
--- a/Language/Classes/Instance_Methods/Operators/allowed_names_t23.dart
+++ b/Language/Classes/Instance_Methods/Operators/allowed_names_t23.dart
@@ -4,10 +4,10 @@
 
 /// @assertion The following names are allowed for user-defined operators: 
 /// <, >, <=, >=, ==, -, +, /, ˜/, *, %, |, ˆ, &, <<, >>, >>>, []=, [], ˜.
+///
 /// @description Checks that operator <<< cannot be defined in a user class.
 /// @author iefremov
 
-
 class C {
   operator <<<(x) {}
 //           ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t01.dart b/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t01.dart
index f2a55a9b37..916aa299b5 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t01.dart
@@ -7,7 +7,8 @@
 /// The - operator is unique in that two overloaded versions are permitted.
 /// If the operator has no arguments, it denotes unary minus.
 /// If it as an argument, it denotes binary subtraction.
-/// @description Checks that operator - can be defined both with 0 and 1 
+///
+/// @description Checks that operator `-` can be defined both with 0 and 1
 /// arguments.
 /// @author kaigorodov
 
diff --git a/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t02.dart b/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t02.dart
index 35192af6fc..b93e76f8e0 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_0_or_1_t02.dart
@@ -7,11 +7,11 @@
 /// The - operator is unique in that two overloaded versions are permitted.
 /// If the operator has no arguments, it denotes unary minus.
 /// If it as an argument, it denotes binary subtraction.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
-/// operator - specifies two parameters.
+/// operator `-` specifies two parameters.
 /// @author kaigorodov
 
-
 class C {
   operator -(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_0_t01.dart b/Language/Classes/Instance_Methods/Operators/arity_0_t01.dart
index 11270135c9..703c86faac 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_0_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_0_t01.dart
@@ -4,6 +4,7 @@
 
 /// @assertion It is a compile-time error if the arity of the user-declared
 /// operator ~ is not 0.
+///
 /// @description Checks that no compile-time error is produced if a user-defined
 /// operator ~ specifies zero parameters.
 /// @author kaigorodov
diff --git a/Language/Classes/Instance_Methods/Operators/arity_0_t02.dart b/Language/Classes/Instance_Methods/Operators/arity_0_t02.dart
index e17fb20494..bbf6d53f9e 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_0_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_0_t02.dart
@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error if the arity of the user-declared
 /// operator ~ is not 0.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator ~ specifies one parameter.
 /// @author vasya
 
-
 class C {
   operator ~(var v) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t01.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t01.dart
index 38cc714290..6948af230a 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t01.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator == specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator ==(var val, var val2) => true;
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t02.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t02.dart
index 327f5ce455..0d43960072 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t02.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined 
 /// operator < specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator <(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t03.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t03.dart
index b2b68892f3..8b00c1cb6d 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t03.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t03.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator > specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator >(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t04.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t04.dart
index 172478043f..b71ad0f41d 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t04.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t04.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator <= specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator <=(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t05.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t05.dart
index 210e20da13..a511fb23ca 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t05.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t05.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator >= specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator >=(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t06.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t06.dart
index 24889d5112..45cacfbccd 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t06.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t06.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator - specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator -(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t07.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t07.dart
index 8f1e715ba8..a45d8e6575 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t07.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t07.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator + specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator +(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t08.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t08.dart
index ac4a7d82ed..abff46b1f3 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t08.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t08.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator ~/ specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator ~/(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t09.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t09.dart
index e028e7104e..6017f7dfad 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t09.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t09.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator / specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator /(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t10.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t10.dart
index e17e7a818a..8655708044 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t10.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t10.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined 
 /// operator * specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator *(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t11.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t11.dart
index deae466286..ca8bf23f7f 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t11.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t11.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator % specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator %(var val, var val2) {}
 //         ^
@@ -20,4 +20,3 @@ class C {
 main() {
   new C() % new C();
 }
-
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t12.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t12.dart
index ef2203557a..4d2a4a5910 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t12.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t12.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator & specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator &(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t13.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t13.dart
index ba8fc6a892..896e7fe16b 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t13.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t13.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator << specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator <<(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t14.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t14.dart
index 7beeed1b9c..45d4331bf5 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t14.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t14.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator >> specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator >>(var val, var val2) {}
 //         ^
@@ -20,4 +20,3 @@ class C {
 main() {
   new C() >> new C();
 }
-
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t15.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t15.dart
index 348819cd3b..308677d4f9 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t15.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t15.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator [] specifies two parameters.
 /// @author vasya
 
-
 class C {
   operator [](var index, var val) {}
 //         ^
@@ -20,4 +20,3 @@ class C {
 main() {
   new C()[1];
 }
-
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t16.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t16.dart
index 5f5fd0c433..3fc482fd48 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t16.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t16.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator [] specifies no parameters.
 /// @author iefremov
 
-
 class C {
   operator []() {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t17.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t17.dart
index a57d996ce5..39ae04d66d 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t17.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t17.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator | specifies two parameters.
 /// @author iefremov
 
-
 class C {
   operator |(var val, var val2) {}
 //         ^
@@ -20,4 +20,3 @@ class C {
 main() {
   new C() | new C();
 }
-
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t18.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t18.dart
index 7346e67af4..7873440419 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t18.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t18.dart
@@ -5,11 +5,11 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator ^ specifies two parameters.
 /// @author iefremov
 
-
 class C {
   operator ^(var val, var val2) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/arity_1_t19.dart b/Language/Classes/Instance_Methods/Operators/arity_1_t19.dart
index 9fdc97898e..bd050acb24 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_1_t19.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_1_t19.dart
@@ -5,12 +5,12 @@
 /// @assertion It is a compile-time error if the arity of a user-declared 
 /// operator with one of the names:
 /// <, >, <=, >=, ==, -, +,  ̃/, /, *, %, |, ˆ, &, <<, >>, >>>, [] is not 1.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator >>> specifies two parameters.
 /// @author iarkh@unipro.ru
 /// @issue 42353
 
-
 class C {
   operator >>>(var val, var val2) {}
 //         ^
@@ -21,4 +21,3 @@ class C {
 main() {
   new C() >>> new C();
 }
-
diff --git a/Language/Classes/Instance_Methods/Operators/arity_2_t01.dart b/Language/Classes/Instance_Methods/Operators/arity_2_t01.dart
index cb13fad40a..f86ffe2edc 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_2_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_2_t01.dart
@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error if arity of the user-declared operator
 /// []= is not 2.
+///
 /// @description Checks that a compile-time error is produced if a user-defined 
 /// operator []= specifies three parameters.
 /// @author vasya
 
-
 class C {
   operator []=(var index, var val, var val2) {}
 //         ^
@@ -19,4 +19,3 @@ class C {
 main() {
   new C()[0] = new C();
 }
-
diff --git a/Language/Classes/Instance_Methods/Operators/arity_2_t02.dart b/Language/Classes/Instance_Methods/Operators/arity_2_t02.dart
index a5001e1a8f..3f4bfe5739 100644
--- a/Language/Classes/Instance_Methods/Operators/arity_2_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/arity_2_t02.dart
@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error if arity of the user-declared operator
 /// []= is not 2.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator []= specifies a single parameter.
 /// @author iefremov
 
-
 class C {
   operator []=(var index) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t01.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t01.dart
index 106c42250d..69bd1a86f9 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t01.dart
@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator [] specifies an optional positional parameter.
 /// @author iefremov
 
-
 class C {
   operator []([var o]) {}
 //             ^
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t02.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t02.dart
index c368d4491e..18671576e8 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t02.dart
@@ -4,12 +4,12 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator [] specifies an optional positional parameter in addition to the 
 /// required one.
 /// @author rodionov
 
-
 class C {
   operator [](var r, [var o]) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t03.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t03.dart
index 1e8ab2e2fa..450a477b3c 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t03.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t03.dart
@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator []= specifies one optional positional parameter.
 /// @author iefremov
 
-
 class C {
   operator []=([var v]) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t04.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t04.dart
index a92bffe565..6bf40182a7 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t04.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t04.dart
@@ -4,12 +4,12 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator []= specifies one optional positional parameter in addition to the 
 /// two required ones.
 /// @author rodionov
 
-
 class C {
   operator []=(var x, var y, [var o]) {}
 //         ^
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t05.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t05.dart
index 09b25e6dc5..3dcc606d24 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t05.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t05.dart
@@ -4,11 +4,11 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator [] specifies one optional named parameter.
 /// @author ilya
 
-
 class C {
   operator []({var o}) {}
 //             ^
@@ -17,8 +17,5 @@ class C {
 }
 
 main() {
-  new C()[];
-//        ^
-// [analyzer] unspecified
-// [cfe] unspecified
+  new C()[1];
 }
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t06.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t06.dart
index f7a5e2a875..dcad215d6a 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t06.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t06.dart
@@ -4,15 +4,15 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator [] specifies an optional named parameter in addition to the 
 /// required one.
 /// @author ilya
 
-
 class C {
   operator [](var r, {var o}) {}
-//         ^
+//         ^^
 // [analyzer] unspecified
 // [cfe] unspecified
 }
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t07.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t07.dart
index bc47223b84..27b05b650f 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t07.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t07.dart
@@ -4,22 +4,19 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator []= specifies one optional named parameter.
 /// @author ilya
 
-
 class C {
   operator []=({var v}) {}
-//         ^
+//         ^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 }
 
 main() {
   C c = new C();
-  c[] = new C();
-//  ^
-// [analyzer] unspecified
-// [cfe] unspecified
+  c[1] = new C();
 }
diff --git a/Language/Classes/Instance_Methods/Operators/optional_parameter_t08.dart b/Language/Classes/Instance_Methods/Operators/optional_parameter_t08.dart
index 00b9b35d64..5197197f27 100644
--- a/Language/Classes/Instance_Methods/Operators/optional_parameter_t08.dart
+++ b/Language/Classes/Instance_Methods/Operators/optional_parameter_t08.dart
@@ -4,15 +4,15 @@
 
 /// @assertion It is a compile-time error to declare an optional parameter in an 
 /// operator.
+///
 /// @description Checks that a compile-time error is produced if a user-defined
 /// operator []= specifies one optional named parameter in addition to the two 
 /// required ones.
 /// @author ilya
 
-
 class C {
   operator []=(var x, var y, {var o}) {}
-//         ^
+//         ^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 }
diff --git a/Language/Classes/Instance_Methods/Operators/return_type_t01.dart b/Language/Classes/Instance_Methods/Operators/return_type_t01.dart
index 1f57bda143..ec1d96f76f 100644
--- a/Language/Classes/Instance_Methods/Operators/return_type_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/return_type_t01.dart
@@ -4,13 +4,13 @@
 
 /// @assertion It is a compile error if the return type of the user-declared
 /// operator []= is explicitly declared and not void.
+///
 /// @description Checks that it is a static warning if the return type of
 /// the user-declared operator []= is not void.
 /// @author msyabro
 /// @author sgrekhov@unipro.ru
 /// @issue 42198
 
-
 class C {
   int operator []=(index, value) => 42;
 //^^^
diff --git a/Language/Classes/Instance_Methods/Operators/syntax_t01.dart b/Language/Classes/Instance_Methods/Operators/syntax_t01.dart
index cb028b2962..3cea945042 100644
--- a/Language/Classes/Instance_Methods/Operators/syntax_t01.dart
+++ b/Language/Classes/Instance_Methods/Operators/syntax_t01.dart
@@ -3,29 +3,24 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion
-/// operatorSignature: 
-///   returnType? operator operator formalParameterList
-/// ;
-/// operator: 
-///   ‘˜’ |
-///   binaryOperator | 
-///   ‘[’ ‘]’ |
-///   ‘[’ ‘]’ ‘=’
-/// ;
-/// binaryOperator: 
-///   multiplicativeOperator | 
-///   additiveOperator | 
-///   shiftOperator |
-///   relationalOperator | 
-///   ‘==’ |
-///   bitwiseOperator 
-/// ;
+/// ⟨operatorSignature⟩ ::=
+/// ⟨type⟩? operator ⟨operator⟩ ⟨formalParameterList⟩
+/// ⟨operator⟩ ::= ‘~’
+/// | ⟨binaryOperator⟩
+/// | ‘[]’
+/// | ‘[]=’
+/// ⟨binaryOperator⟩ ::= ⟨multiplicativeOperator⟩
+/// | ⟨additiveOperator⟩
+/// | ⟨shiftOperator⟩
+/// | ⟨relationalOperator⟩
+/// | ‘==’
+/// | ⟨bitwiseOperator⟩
+///
 /// @description Checks that any return type (including function type, type 
 /// parameter, void or no return type at all) can be specified for any operator.
 /// @author iefremov
 
-
-typedef int foo(double d);
+typedef int Foo(double d);
 
 class C<T> {
   int operator +(var v) => 42;
@@ -34,7 +29,7 @@ class C<T> {
   operator -(var v) {}
   operator []=(var v, var v2) {}
   dynamic operator ~() {}
-  foo operator *(var v) => (double s) => 42;
+  Foo operator *(var v) => (double s) => 42;
   T operator >(T t) => t;
 }
 
diff --git a/Language/Classes/Instance_Methods/Operators/syntax_t02.dart b/Language/Classes/Instance_Methods/Operators/syntax_t02.dart
index 629701b976..8995dff6fb 100644
--- a/Language/Classes/Instance_Methods/Operators/syntax_t02.dart
+++ b/Language/Classes/Instance_Methods/Operators/syntax_t02.dart
@@ -3,27 +3,25 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion
-/// operator:
-///   ‘˜’ |
-///   binaryOperator |
-///   ‘[’ ‘]’ |
-///   ‘[’ ‘]’ ‘=’
-/// ;
-/// binaryOperator:
-///   multiplicativeOperator |
-///   additiveOperator |
-///   shiftOperator |
-///   relationalOperator |
-///   ‘==’ |
-///   bitwiseOperator
-/// ;
+/// ⟨operatorSignature⟩ ::=
+/// ⟨type⟩? operator ⟨operator⟩ ⟨formalParameterList⟩
+/// ⟨operator⟩ ::= ‘~’
+/// | ⟨binaryOperator⟩
+/// | ‘[]’
+/// | ‘[]=’
+/// ⟨binaryOperator⟩ ::= ⟨multiplicativeOperator⟩
+/// | ⟨additiveOperator⟩
+/// | ⟨shiftOperator⟩
+/// | ⟨relationalOperator⟩
+/// | ‘==’
+/// | ⟨bitwiseOperator⟩
+///
 /// @description Checks that it is a compile-time error if an operator-specific
 /// method name is used without the operator keyword.
 /// @author iefremov
 
-
 class C {
-  int ~/(var v) => 42; /// compile-time error
+  int ~/(var v) => 42;
 //    ^
 // [analyzer] unspecified
 // [cfe] unspecified
diff --git a/Language/Classes/Instance_Methods/Operators/syntax_t03.dart b/Language/Classes/Instance_Methods/Operators/syntax_t03.dart
index beb69c4412..1c78d238c1 100644
--- a/Language/Classes/Instance_Methods/Operators/syntax_t03.dart
+++ b/Language/Classes/Instance_Methods/Operators/syntax_t03.dart
@@ -3,26 +3,26 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion
-/// operator: 
-///   ‘˜’ |
-///   binaryOperator | 
-///   ‘[’ ‘]’ |
-///   ‘[’ ‘]’ ‘=’
-/// ;
-/// binaryOperator: 
-///   multiplicativeOperator | 
-///   additiveOperator | 
-///   shiftOperator |
-///   relationalOperator | 
-///   ‘==’ |
-///   bitwiseOperator 
-/// ;
+/// ⟨operatorSignature⟩ ::=
+/// ⟨type⟩? operator ⟨operator⟩ ⟨formalParameterList⟩
+/// ⟨operator⟩ ::= ‘~’
+/// | ⟨binaryOperator⟩
+/// | ‘[]’
+/// | ‘[]=’
+/// ⟨binaryOperator⟩ ::= ⟨multiplicativeOperator⟩
+/// | ⟨additiveOperator⟩
+/// | ⟨shiftOperator⟩
+/// | ⟨relationalOperator⟩
+/// | ‘==’
+/// | ⟨bitwiseOperator⟩
+///
 /// @description Checks that it is not a compile-time error if a class attempts 
 /// to define an operator without a name because an instance method named 
 /// 'operator' is allowed by the spec.
 /// @author iefremov
 
 import "../../../../Utils/expect.dart";
+
 class C {
   int operator(var v) => 42;
 }
diff --git a/Language/Classes/Instance_Methods/Operators/syntax_t04.dart b/Language/Classes/Instance_Methods/Operators/syntax_t04.dart
index 655c25d929..dc5b388652 100644
--- a/Language/Classes/Instance_Methods/Operators/syntax_t04.dart
+++ b/Language/Classes/Instance_Methods/Operators/syntax_t04.dart
@@ -3,25 +3,23 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion
-/// operator:
-///   ‘˜’ |
-///   binaryOperator |
-///   ‘[’ ‘]’ |
-///   ‘[’ ‘]’ ‘=’
-/// ;
-/// binaryOperator:
-///   multiplicativeOperator |
-///   additiveOperator |
-///   shiftOperator |
-///   relationalOperator |
-///   ‘==’ |
-///   bitwiseOperator
-/// ;
+/// ⟨operatorSignature⟩ ::=
+/// ⟨type⟩? operator ⟨operator⟩ ⟨formalParameterList⟩
+/// ⟨operator⟩ ::= ‘~’
+/// | ⟨binaryOperator⟩
+/// | ‘[]’
+/// | ‘[]=’
+/// ⟨binaryOperator⟩ ::= ⟨multiplicativeOperator⟩
+/// | ⟨additiveOperator⟩
+/// | ⟨shiftOperator⟩
+/// | ⟨relationalOperator⟩
+/// | ‘==’
+/// | ⟨bitwiseOperator⟩
+///
 /// @description Checks that it is a compile-time error if a class defines an
 /// operator without a formal parameter list.
 /// @author iefremov
 
-
 class C {
   int operator - {return 42;}
 //             ^
diff --git a/Language/Classes/Instance_Methods/Operators/unary_minus.dart b/Language/Classes/Instance_Methods/Operators/unary_minus.dart
index 956869f37d..96555643d7 100644
--- a/Language/Classes/Instance_Methods/Operators/unary_minus.dart
+++ b/Language/Classes/Instance_Methods/Operators/unary_minus.dart
@@ -3,11 +3,11 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion The name of the unary operator - is unary-.
+///
 /// @description Checks that the name of unary operator - is 'unary-'
 /// @author ilya
 /// @author sgrekhov@unipro.ru
 
-
 import 'dart:mirrors';
 import '../../../../Utils/expect.dart';