The schema overriding operator composes two operations so that the result behaves like its right operand schema does when that is applicable, and like the left operand otherwise.
Expression | = | Expression , ![]() |
The LATEX mark-up of is \zovr.
The troff mark-up of
is zov.
Schema overriding could be defined as follows, using the notation of type-constrained generics.
_ ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |