addJot property

bool addJot

Whether to add an extra 3 pt spacing between each row.

True for \aligned and \alignedat

Implementation

final bool addJot;