Used when embedding a module (such as the canonical module) as an ideal. This is passed through to embedAsIdeal from the Divisor package.
The object MTries is a symbol.