Skip to main content
9 events
when toggle format what by license comment
Jun 16, 2018 at 20:09 comment added egreg @murray One never knows… ;-)
Jun 16, 2018 at 20:07 vote accept murray
Jun 16, 2018 at 20:07 comment added murray @egreg: For my purposes, I'll never have both the required optional argument and an additional, actually optional one. But your additional implementation is nonetheless very instructive (the sort of thing I don't get out of just perusing the thmtools documentation)!
Jun 16, 2018 at 20:03 comment added egreg @murray I added a different implementation: if the optional argument is required, it should be a mandatory one.
Jun 16, 2018 at 20:03 history edited egreg CC BY-SA 4.0
With mandatory argument
Jun 16, 2018 at 19:56 comment added Sigur @murray, so, no problem anymore. go ahead with the nice solution. Regards.
Jun 16, 2018 at 19:54 comment added murray @Sigur: For my own purposes, I'll always have an optional argument with this theorem-like environment.
Jun 16, 2018 at 19:51 comment added Sigur Without the note the dash is still there. Is it possible to insert if and only if there is a note?
Jun 16, 2018 at 19:46 history answered egreg CC BY-SA 4.0