-R theories mathcomp.zify
-arg -w -arg -notation-overridden
