Implementation of the \exstarred command