A symmetrizable covariant derivative can be defined as follows:
Note that the option
SymCovDQ could also have been given to
DefMetric.
CD is now registered as a symmetrizable covariant derivative:
This means that we can now use multipe incides to indicate symmetrize derivative: