Closed kohlhase closed 4 years ago
these need to be removed and instead the internal sTeX macros \omdoc@index* then we should be able to RawTeX the \defi and friends.
\omdoc@index*
\defi
this is fixed now.
these need to be removed and instead the internal sTeX macros
\omdoc@index*
then we should be able to RawTeX the\defi
and friends.