Mathify omega in reference "Weak omega-categor..."