← prev
up
next →
We need to also consider an extension of
, which we will call
, which is obtained by replacing
with
:
In the language of
Simpler notations
, we allow
, but require:
← prev
up
next →