CI · UniMath/Schools@752abd3

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Postfix notations (i.e. starting with a nonterminal symbol and

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Not considering unicode character "̂" of unknown lexical status as

Not considering unicode character "̂" of unknown lexical status as

Notation gradth is deprecated. Use isweq_iso instead.

Notation gradth is deprecated. Use isweq_iso instead.

Provide feedback