Yep - even 'min' is missing. `min_` becomes `m \in _`, seemingly no way to force it to work, `{min}` or `\min` don't.