The type notation of a Operator is not apears in the Tex format

gdupont1 / rodin-hs

A collection of Haskell modules for handling Rodin files

GNU General Public License v3.0

0 stars 0 forks source link

Closed Rpeter99 closed 3 years ago

Rpeter99 commented 3 years ago

The notation style (infixe, prefixe or postfixe) of the operator does not appears in the tex file.

gdupont1 commented 3 years ago

It did appear; but it has been improved.