After editing a group with LaTeX labels, the size of the latter is always set to "tiny".
Log in to post a comment.